diff options
Diffstat (limited to 'src/options/language.cpp')
-rw-r--r-- | src/options/language.cpp | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/options/language.cpp b/src/options/language.cpp index 13384164a..bf17e91f9 100644 --- a/src/options/language.cpp +++ b/src/options/language.cpp @@ -111,23 +111,22 @@ OutputLanguage toOutputLanguage(InputLanguage language) { }/* switch(language) */ }/* toOutputLanguage() */ -OutputLanguage toOutputLanguage(std::string language) { - if (language == "cvc4" || language == "pl" || language == "presentation" +OutputLanguage toOutputLanguage(std::string language) +{ + if (language == "cvc" || language == "pl" || language == "presentation" || language == "native" || language == "LANG_CVC") { return output::LANG_CVC; } - else if (language == "cvc3" || language == "LANG_CVC3") - { - return output::LANG_CVC3; - } else if (language == "smtlib" || language == "smt" || language == "smtlib2" || language == "smt2" || language == "smtlib2.6" || language == "smt2.6" || language == "LANG_SMTLIB_V2_6" || language == "LANG_SMTLIB_V2") { return output::LANG_SMTLIB_V2_6; - } else if(language == "tptp" || language == "LANG_TPTP") { + } + else if (language == "tptp" || language == "LANG_TPTP") + { return output::LANG_TPTP; } else if (language == "sygus" || language == "LANG_SYGUS" @@ -144,11 +143,12 @@ OutputLanguage toOutputLanguage(std::string language) { return output::LANG_AUTO; } - throw OptionException(std::string("unknown output language `" + language + "'")); -}/* toOutputLanguage() */ + throw OptionException( + std::string("unknown output language `" + language + "'")); +} InputLanguage toInputLanguage(std::string language) { - if (language == "cvc4" || language == "pl" || language == "presentation" + if (language == "cvc" || language == "pl" || language == "presentation" || language == "native" || language == "LANG_CVC") { return input::LANG_CVC; |