diff options
| -rw-r--r-- | src/parser/smt/Smt.g | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/smt/Smt.g b/src/parser/smt/Smt.g index cf22c5290..48dc575a7 100644 --- a/src/parser/smt/Smt.g +++ b/src/parser/smt/Smt.g @@ -91,9 +91,9 @@ using namespace CVC4::parser; void setLogic(Parser *parser, const std::string& name) { if( name == "QF_UF" ) { - parserState->mkSort("U"); + parser->mkSort("U"); } else if(name == "QF_LRA"){ - parserState->mkSort("Real"); + parser->mkSort("Real"); } else{ // NOTE: Theory types go here Unhandled(name); |