From d708e8c696c1596296692cf5d574290ece2643bf Mon Sep 17 00:00:00 2001
From: =?utf8?q?Dejan=20Jovanovi=C4=87?= <dejan.jovanovic@gmail.com>
Date: Wed, 28 Apr 2010 19:42:52 +0000
Subject: [PATCH] Build fix for parser

---
 src/parser/smt/Smt.g | 4 ++--
 1 file 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);
-- 
2.30.2