diff options
Diffstat (limited to 'src/parser/antlr_input.cpp')
| -rw-r--r-- | src/parser/antlr_input.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/parser/antlr_input.cpp b/src/parser/antlr_input.cpp index 3e7e86446..69cac434a 100644 --- a/src/parser/antlr_input.cpp +++ b/src/parser/antlr_input.cpp @@ -252,8 +252,7 @@ AntlrInput* AntlrInput::newInput(InputLanguage lang, AntlrInputStream& inputStre break; case LANG_SYGUS: - input = new SygusInput(inputStream); - break; + case LANG_SYGUS_V2: input = new SygusInput(inputStream); break; case LANG_TPTP: input = new TptpInput(inputStream); |