diff options
Diffstat (limited to 'src/sat/glucose/Options.cpp')
-rw-r--r-- | src/sat/glucose/Options.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/sat/glucose/Options.cpp b/src/sat/glucose/Options.cpp index c4729b04..d9521c52 100644 --- a/src/sat/glucose/Options.cpp +++ b/src/sat/glucose/Options.cpp @@ -42,11 +42,12 @@ void Gluco::parseOptions(int& argc, char** argv, bool strict) // fprintf(stderr, "checking %d: %s against flag <%s> (%s)\n", i, argv[i], Option::getOptionList()[k]->name, parsed_ok ? "ok" : "skip"); } - if (!parsed_ok) + if (!parsed_ok) { if (strict && match(argv[i], "-")) fprintf(stderr, "ERROR! Unknown flag \"%s\". Use '--%shelp' for help.\n", argv[i], Option::getHelpPrefixString()), exit(1); else argv[j++] = argv[i]; + } } } |