diff options
Diffstat (limited to 'src/parser/parser_builder.h')
| -rw-r--r-- | src/parser/parser_builder.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/parser_builder.h b/src/parser/parser_builder.h index 992ca408a..aed3b06f1 100644 --- a/src/parser/parser_builder.h +++ b/src/parser/parser_builder.h @@ -109,7 +109,7 @@ class CVC5_EXPORT ParserBuilder ParserBuilder& withParseOnly(bool flag = true); /** Derive settings from the given options. */ - ParserBuilder& withOptions(const Options& options); + ParserBuilder& withOptions(const Options& opts); /** * Should the parser use strict mode? |