Tuesday end-of-day commit.

[cvc5.git] / src / parser / smt / smt_input.h

diff --git a/src/parser/smt/smt_input.h b/src/parser/smt/smt_input.h
index c5b147b71cb5826c88e2dfb668c8355456222eea..0ab382c73568aa6c12b565280cd6540fa7ec2b59 100644 (file)
--- a/src/parser/smt/smt_input.h
+++ b/src/parser/smt/smt_input.h
@@ -55,6 +55,11 @@ public:
   /** Destructor. Frees the lexer and the parser. */
   ~SmtInput();
 
+  /** Get the language that this Input is reading. */
+  InputLanguage getLanguage() const throw() {
+    return language::input::LANG_SMTLIB;
+  }
+
 protected:
 
   /**
@@ -63,7 +68,7 @@ protected:
    *
    * @throws ParserException if an error is encountered during parsing.
    */
-  Command* parseCommand() 
+  Command* parseCommand()
     throw(ParserException, TypeCheckingException, AssertionException);
 
   /**
@@ -72,7 +77,7 @@ protected:
    *
    * @throws ParserException if an error is encountered during parsing.
    */
-  Expr parseExpr() 
+  Expr parseExpr()
     throw(ParserException, TypeCheckingException, AssertionException);
 
 private: