diff options
Diffstat (limited to 'src/parser/parser.h')
| -rw-r--r-- | src/parser/parser.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/parser.h b/src/parser/parser.h index cd70fde0f..0c1f3822b 100644 --- a/src/parser/parser.h +++ b/src/parser/parser.h @@ -718,7 +718,7 @@ public: Command* nextCommand(); /** Parse and return the next expression. */ - Expr nextExpression(); + api::Term nextExpression(); /** Issue a warning to the user. */ void warning(const std::string& msg) { d_input->warning(msg); } @@ -845,7 +845,7 @@ public: public: ExprStream(Parser* parser) : d_parser(parser) {} ~ExprStream() { delete d_parser; } - Expr nextExpr() override { return d_parser->nextExpression(); } + Expr nextExpr() override { return d_parser->nextExpression().getExpr(); } };/* class Parser::ExprStream */ //------------------------ operator overloading |