diff options
Diffstat (limited to 'src/util/language.cpp')
-rw-r--r-- | src/util/language.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/language.cpp b/src/util/language.cpp index 1792797cf..22e9840d7 100644 --- a/src/util/language.cpp +++ b/src/util/language.cpp @@ -23,7 +23,7 @@ namespace language { InputLanguage toInputLanguage(OutputLanguage language) { switch(language) { - case output::LANG_SMTLIB: + case output::LANG_SMTLIB_V1: case output::LANG_SMTLIB_V2: case output::LANG_TPTP: case output::LANG_CVC4: @@ -41,7 +41,7 @@ InputLanguage toInputLanguage(OutputLanguage language) { OutputLanguage toOutputLanguage(InputLanguage language) { switch(language) { - case input::LANG_SMTLIB: + case input::LANG_SMTLIB_V1: case input::LANG_SMTLIB_V2: case input::LANG_CVC4: case input::LANG_TPTP: |