java input stream adapters working

[cvc5.git] / src / parser / parser.i

diff --git a/src/parser/parser.i b/src/parser/parser.i
index dd52bfcda7fc6a2e3e062da6272a9f51f3abe5e4..5b23555eac3f123984fdda212c9a9a47700c8c0e 100644 (file)
--- 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:
-    ExprStream(Parser* parser) : d_parser(parser) {}
-    ~ExprStream() { 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 */