diff options
Diffstat (limited to 'src/parser/cvc/cvc_parser.h')
-rw-r--r-- | src/parser/cvc/cvc_parser.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/cvc/cvc_parser.h b/src/parser/cvc/cvc_parser.h index 07699916f..9cb6b7594 100644 --- a/src/parser/cvc/cvc_parser.h +++ b/src/parser/cvc/cvc_parser.h @@ -37,7 +37,7 @@ public: * @param input the input stream to parse * @param file_name the name of the file (for diagnostic output) */ - CvcParser(NodeManager* em, std::istream& input, const char* file_name = ""); + CvcParser(ExprManager* em, std::istream& input, const char* file_name = ""); /** * Destructor. @@ -57,7 +57,7 @@ public: * Parses the next complete expression of the stream. * @return the expression parsed */ - Node parseNextExpression() throw(ParserException); + Expr parseNextExpression() throw(ParserException); protected: |