Do some cleanup

This commit is contained in:
2019-10-15 19:10:09 +02:00
parent 8600cf9f3c
commit 8875e75439
2 changed files with 1 additions and 4 deletions

View File

@@ -27,7 +27,6 @@ string prompt(char separator = '>')
void print_help()
{
PROFILER_RECORD;
// TODO Verify whether there are more/less commands
cout << "The following commands are available: help, login, register, exit" << endl;
}
@@ -76,7 +75,6 @@ void login()
print_flag();
}
#include <iomanip>
void register_user()
{
PROFILER_RECORD;