1 files changed, 5 insertions, 0 deletions
diff --git a/src/parser/input.cpp b/src/parser/input.cpp
index 5df017f16..33bee84a6 100644
--- a/src/parser/input.cpp
+++ b/src/parser/input.cpp
@@ -27,6 +27,7 @@
 #include "expr/type.h"
 #include "parser/cvc/cvc_input.h"
 #include "parser/smt/smt_input.h"
+#include "parser/smt2/smt2_input.h"
 #include "util/output.h"
 #include "util/Assert.h"
 
@@ -182,6 +183,10 @@ Input* Input::newInput(InputLanguage lang, AntlrInputStream *inputStream) {
     input = new SmtInput(inputStream);
     break;
 
+  case LANG_SMTLIB_V2:
+    input = new Smt2Input(inputStream);
+    break;
+
   default:
     Unhandled(lang);
   }