diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-04 22:16:21 -0500 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-05 14:53:42 -0500 |
| commit | 831feca5415d7da807542cb1820909f09675b31b (patch) | |
| tree | 528f36366dabe994aa62630a63519031b33221f8 /src/parser/parser.cpp | |
| parent | df554608cc47684be08d8be7c427027b7c5e8eb2 (diff) | |
Don't tokenize SET_THEORY operators in smt2 parser
Diffstat (limited to 'src/parser/parser.cpp')
| -rw-r--r-- | src/parser/parser.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp index d65a68310..c3019966a 100644 --- a/src/parser/parser.cpp +++ b/src/parser/parser.cpp @@ -377,7 +377,7 @@ void Parser::checkDeclaration(const std::string& varName, switch(check) { case CHECK_DECLARED: if( !isDeclared(varName, type) ) { - parseError("Symbol " + varName + " not declared as a " + + parseError("Symbol '" + varName + "' not declared as a " + (type == SYM_VARIABLE ? "variable" : "type") + (notes.size() == 0 ? notes : "\n" + notes)); } @@ -385,7 +385,7 @@ void Parser::checkDeclaration(const std::string& varName, case CHECK_UNDECLARED: if( isDeclared(varName, type) ) { - parseError("Symbol " + varName + " previously declared as a " + + parseError("Symbol '" + varName + "' previously declared as a " + (type == SYM_VARIABLE ? "variable" : "type") + (notes.size() == 0 ? notes : "\n" + notes)); } @@ -491,7 +491,7 @@ Expr Parser::nextExpression() throw(ParserException) { void Parser::attributeNotSupported(const std::string& attr) { if(d_attributesWarnedAbout.find(attr) == d_attributesWarnedAbout.end()) { stringstream ss; - ss << "warning: Attribute " << attr << " not supported (ignoring this and all following uses)"; + ss << "warning: Attribute '" << attr << "' not supported (ignoring this and all following uses)"; d_input->warning(ss.str()); d_attributesWarnedAbout.insert(attr); } |