1 files changed, 5 insertions, 4 deletions
diff --git a/src/parser/antlr_input.cpp b/src/parser/antlr_input.cpp
index 7690d8962..de90ee14b 100644
--- a/src/parser/antlr_input.cpp
+++ b/src/parser/antlr_input.cpp
@@ -239,10 +239,11 @@ AntlrInput* AntlrInput::newInput(InputLanguage lang, AntlrInputStream& inputStre
   AntlrInput* input;
 
   switch(lang) {
-  case LANG_CVC4: {
-    input = new CvcInput(inputStream);
-    break;
-  }
+    case LANG_CVC:
+    {
+      input = new CvcInput(inputStream);
+      break;
+    }
 
   case LANG_SYGUS_V2: input = new SygusInput(inputStream); break;