diff options
Diffstat (limited to 'src/parser/parser_builder.h')
-rw-r--r-- | src/parser/parser_builder.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/parser_builder.h b/src/parser/parser_builder.h index aed3b06f1..61819a8f9 100644 --- a/src/parser/parser_builder.h +++ b/src/parser/parser_builder.h @@ -45,7 +45,7 @@ class Parser; class CVC5_EXPORT ParserBuilder { /** The input language */ - InputLanguage d_lang; + Language d_lang; /** The API Solver object. */ api::Solver* d_solver; @@ -93,7 +93,7 @@ class CVC5_EXPORT ParserBuilder * * (Default: LANG_AUTO) */ - ParserBuilder& withInputLanguage(InputLanguage lang); + ParserBuilder& withInputLanguage(Language lang); /** * Are we only parsing, or doing something with the resulting |