diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-04-28 19:42:52 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-04-28 19:42:52 +0000 |
| commit | d708e8c696c1596296692cf5d574290ece2643bf (patch) | |
| tree | 0e3db8d27c642d2ffbebdefa7a114311f97841e9 /src/parser/smt | |
| parent | a72c7a26fda2b9c268912e618fd7d71164e4800a (diff) | |
Build fix for parser
Diffstat (limited to 'src/parser/smt')
| -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); |