diff options
Diffstat (limited to 'src/parser')
-rw-r--r-- | src/parser/parser.cpp | 2 | ||||
-rw-r--r-- | src/parser/smt2/Smt2.g | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp index 7b58ba4f9..3198c8b64 100644 --- a/src/parser/parser.cpp +++ b/src/parser/parser.cpp @@ -156,7 +156,7 @@ Parser::mkBoundVar(const std::string& name, const Type& type) { Expr Parser::mkFunction(const std::string& name, const Type& type, - bool levelZero) { + bool levelZero) { Debug("parser") << "mkVar(" << name << ", " << type << ")" << std::endl; Expr expr = d_exprManager->mkVar(name, type); defineFunction(name, expr, levelZero); diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 37b926c34..1bfba3eb4 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -634,7 +634,7 @@ simpleSymbolicExpr[CVC4::SExpr& sexpr] | str[s] { sexpr = SExpr(s); } | symbol[s,CHECK_NONE,SYM_SORT] - { sexpr = SExpr(s); } + { sexpr = SExpr(SExpr::Keyword(s)); } | builtinOp[k] { std::stringstream ss; ss << Expr::setlanguage(CVC4::language::output::LANG_SMTLIB_V2) << EXPR_MANAGER->mkConst(k); |