fix: add exit

This commit is contained in:
kuoi 2023-07-17 06:50:26 +08:00
parent 9197ac7df5
commit 96275b4929

View file

@ -32,8 +32,8 @@ void interactive_commands()
"help\ninput " "help\ninput "
"<filename>\tinput a TNT output tree from the " "<filename>\tinput a TNT output tree from the "
"specified file\noutput <filename>\toutput a " "specified file\noutput <filename>\toutput a "
"winclada accessable tree file\nquit\t\t\texit " "winclada accessable tree file\nquit\t\t\tquit "
"the program" "the program\nexit\t\t\texit the program"
<< endl; << endl;
} }
else if (command.find("input ") == 0) { else if (command.find("input ") == 0) {
@ -87,7 +87,7 @@ void interactive_commands()
cout << "tnt2winclada> Finished." << endl; cout << "tnt2winclada> Finished." << endl;
} }
} }
else if (command == "quit") { else if (command == "quit" || command == "exit") {
break; break;
} }
else { else {