Build fix for parser

diff --git a/src/parser/smt/Smt.g b/src/parser/smt/Smt.g
index cf22c5290a654712b86d45ab84cc3e01f28a3138..48dc575a7e9ac1052ab0488bacdbe5e5812b9a78 100644 (file)
--- 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);