diff options
Diffstat (limited to 'src/parser/parser_builder.cpp')
-rw-r--r-- | src/parser/parser_builder.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/parser/parser_builder.cpp b/src/parser/parser_builder.cpp index d9b7cf341..bd71f71e7 100644 --- a/src/parser/parser_builder.cpp +++ b/src/parser/parser_builder.cpp @@ -26,7 +26,7 @@ #include "tptp/tptp.h" #include "expr/expr_manager.h" -#include "util/options.h" +#include "parser/options.h" namespace CVC4 { namespace parser { @@ -146,11 +146,11 @@ ParserBuilder& ParserBuilder::withParseOnly(bool flag) { ParserBuilder& ParserBuilder::withOptions(const Options& options) { return - withInputLanguage(options.inputLanguage) - .withMmap(options.memoryMap) - .withChecks(options.semanticChecks) - .withStrictMode(options.strictParsing) - .withParseOnly(options.parseOnly); + withInputLanguage(options[options::inputLanguage]) + .withMmap(options[options::memoryMap]) + .withChecks(options[options::semanticChecks]) + .withStrictMode(options[options::strictParsing]) + .withParseOnly(options[options::parseOnly]); } ParserBuilder& ParserBuilder::withStrictMode(bool flag) { |