1 files changed, 1 insertions, 6 deletions
diff --git a/src/parser/antlr_input.cpp b/src/parser/antlr_input.cpp
index c190fe7f0..89d56a108 100644
--- a/src/parser/antlr_input.cpp
+++ b/src/parser/antlr_input.cpp
@@ -23,7 +23,6 @@
 #include "parser/antlr_line_buffered_input.h"
 #include "parser/bounded_token_buffer.h"
 #include "parser/bounded_token_factory.h"
-#include "parser/cvc/cvc_input.h"
 #include "parser/input.h"
 #include "parser/memory_mapped_input_buffer.h"
 #include "parser/parser.h"
@@ -188,11 +187,7 @@ AntlrInputStream::newStringInputStream(const std::string& input,
 AntlrInput* AntlrInput::newInput(const std::string& lang,
                                  AntlrInputStream& inputStream)
 {
-  if (lang == "LANG_CVC")
-  {
-    return new CvcInput(inputStream);
-  }
-  else if (lang == "LANG_SYGUS_V2")
+  if (lang == "LANG_SYGUS_V2")
   {
     return new SygusInput(inputStream);
   }