diff options
Diffstat (limited to 'src/parser/cvc/cvc_parser.cpp')
-rw-r--r-- | src/parser/cvc/cvc_parser.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/parser/cvc/cvc_parser.cpp b/src/parser/cvc/cvc_parser.cpp index 2bb01007a..adeb5761d 100644 --- a/src/parser/cvc/cvc_parser.cpp +++ b/src/parser/cvc/cvc_parser.cpp @@ -44,8 +44,8 @@ Command* CvcParser::parseNextCommand() throw(ParserException) { return cmd; } -Node CvcParser::parseNextExpression() throw(ParserException) { - Node result; +Expr CvcParser::parseNextExpression() throw(ParserException) { + Expr result; if(!done()) { try { result = d_antlr_parser->formula(); @@ -62,7 +62,7 @@ CvcParser::~CvcParser() { delete d_antlr_lexer; } -CvcParser::CvcParser(NodeManager*em, istream& input, const char* file_name) : +CvcParser::CvcParser(ExprManager*em, istream& input, const char* file_name) : Parser(em), d_input(input) { if(!d_input) { throw ParserException(string("Read error") + |