diff --git a/aminimize/src/aminimize.cpp b/aminimize/src/aminimize.cpp index c564de72f586771a206d8fcee3f582bf62d910be..4562910785c458be57deca3d316ed7722a2713ce 100644 --- a/aminimize/src/aminimize.cpp +++ b/aminimize/src/aminimize.cpp @@ -26,7 +26,7 @@ int main(int argc, char** argv) { if (argc == 2 && string("-h").compare(argv[1]) == 0) { cout << "Automaton minimize.\nUsage: aminimize automaton.xml\n"; return -1; - } else if (argc == 1 || argc == 2 && string("--").compare(argv[1]) == 0) { + } else if (argc == 1 || (argc == 2 && string("--").compare(argv[1]) == 0)) { automaton = AutomatonFactory::fromStdin(); if(!AutomatonFactory::isFSM(automaton)) { cout << "Automaton minimize require deterministic finite automaton\n";