diff options
| -rw-r--r-- | src/parser/smt/Smt.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/smt/Smt.g b/src/parser/smt/Smt.g index 48dc575a7..6a34df375 100644 --- a/src/parser/smt/Smt.g +++ b/src/parser/smt/Smt.g @@ -93,7 +93,7 @@ setLogic(Parser *parser, const std::string& name) { if( name == "QF_UF" ) { parser->mkSort("U"); } else if(name == "QF_LRA"){ - parser->mkSort("Real"); + parser->defineType("Real", parser->getExprManager()->realType()); } else{ // NOTE: Theory types go here Unhandled(name); |