Adding general support for SMT2 set-info command

1 files changed, 8 insertions, 10 deletions

diff --git a/src/parser/smt2/smt2_input.h b/src/parser/smt2/smt2_input.h
index 2937d4ed8..ad32edcbc 100644
--- a/src/parser/smt2/smt2_input.h
+++ b/src/parser/smt2/smt2_input.h
@@ -40,6 +40,12 @@ class Smt2Input : public AntlrInput {
   /** The ANTLR3 CVC parser for the input. */
   pSmt2Parser d_pSmt2Parser;
 
+  /**
+   * Initialize the class. Called from the constructors once the input
+   * stream is initialized.
+   */
+  void init();
+
 public:
 
   /**
@@ -47,7 +53,7 @@ public:
    *
    * @param inputStream the input stream to use
    */
-  Smt2Input(AntlrInputStream *inputStream);
+  Smt2Input(AntlrInputStream& inputStream);
 
   /**
    * Create a string input.
@@ -59,7 +65,7 @@ public:
 //  Smt2Input(ExprManager* exprManager, const std::string& input, const std::string& name);
 
   /** Destructor. Frees the lexer and the parser. */
-  ~Smt2Input();
+  virtual ~Smt2Input();
 
 protected:
 
@@ -79,14 +85,6 @@ protected:
    */
   Expr parseExpr() throw(ParserException);
 
-private:
-
-  /**
-   * Initialize the class. Called from the constructors once the input
-   * stream is initialized.
-   */
-  void init();
-
 };/* class Smt2Input */
 
 }/* CVC4::parser namespace */