1 files changed, 5 insertions, 0 deletions
diff --git a/src/parser/antlr_input.cpp b/src/parser/antlr_input.cpp
index f8730e372..4c779c46a 100644
--- a/src/parser/antlr_input.cpp
+++ b/src/parser/antlr_input.cpp
@@ -32,6 +32,7 @@
 #include "parser/cvc/cvc_input.h"
 #include "parser/smt1/smt1_input.h"
 #include "parser/smt2/smt2_input.h"
+#include "parser/smt2/sygus_input.h"
 #include "parser/tptp/tptp_input.h"
 #include "util/output.h"
 
@@ -206,6 +207,10 @@ AntlrInput* AntlrInput::newInput(InputLanguage lang, AntlrInputStream& inputStre
     input = new Smt2Input(inputStream, lang);
     break;
 
+  case LANG_SYGUS:
+    input = new SygusInput(inputStream);
+    break;
+
   case LANG_TPTP:
     input = new TptpInput(inputStream);
     break;