diff options
Diffstat (limited to 'src/parser/parser.i')
-rw-r--r-- | src/parser/parser.i | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/src/parser/parser.i b/src/parser/parser.i index 5e10973d4..5b23555ea 100644 --- a/src/parser/parser.i +++ b/src/parser/parser.i @@ -9,14 +9,13 @@ namespace CVC4 { %ignore operator<<(std::ostream&, DeclarationCheck); %ignore operator<<(std::ostream&, SymbolType); - class ParserExprStream : public CVC4::ExprStream { - Parser* d_parser; - public: - ParserExprStream(Parser* parser) : d_parser(parser) {} - ~ParserExprStream() { delete d_parser; } - Expr nextExpr() { return d_parser->nextExpression(); } - };/* class Parser::ExprStream */ - + class ParserExprStream : public CVC4::ExprStream { + Parser* d_parser; + public: + ParserExprStream(Parser* parser) : d_parser(parser) {} + ~ParserExprStream() { delete d_parser; } + Expr nextExpr() { return d_parser->nextExpression(); } + };/* class Parser::ExprStream */ }/* namespace CVC4::parser */ }/* namespace CVC4 */ |