diff options
Diffstat (limited to 'src/main/driver_unified.cpp')
-rw-r--r-- | src/main/driver_unified.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp index 9d221450b..8c86f03cb 100644 --- a/src/main/driver_unified.cpp +++ b/src/main/driver_unified.cpp @@ -35,6 +35,7 @@ #include "main/time_limit.h" #include "options/base_options.h" #include "options/options.h" +#include "options/options_public.h" #include "options/parser_options.h" #include "options/main_options.h" #include "options/set_language.h" @@ -87,9 +88,9 @@ void printUsage(const Options& opts, bool full) { << endl << "cvc5 options:" << endl; if(full) { - Options::printUsage(ss.str(), *opts.base.out); + options::printUsage(ss.str(), *opts.base.out); } else { - Options::printShortUsage(ss.str(), *opts.base.out); + options::printShortUsage(ss.str(), *opts.base.out); } } @@ -103,8 +104,7 @@ int runCvc5(int argc, char* argv[], Options& opts) progPath = argv[0]; // Parse the options - std::vector<string> filenames = - Options::parseOptions(&opts, argc, argv, progName); + std::vector<string> filenames = options::parse(opts, argc, argv, progName); auto limit = install_time_limit(opts); @@ -115,7 +115,7 @@ int runCvc5(int argc, char* argv[], Options& opts) } else if (opts.base.languageHelp) { - Options::printLanguageHelp(*opts.base.out); + options::printLanguageHelp(*opts.base.out); exit(1); } else if (opts.driver.version) |