From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Wed, 28 Apr 2010 19:42:52 +0000 (+0000)
Subject: Build fix for parser
X-Git-Tag: cvc5-1.0.0~9103
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d708e8c696c1596296692cf5d574290ece2643bf;p=cvc5.git

Build fix for parser
---

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);