From 66eab37a0e435b314408b3180819b9751aeff3df Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Fri, 4 May 2018 11:32:38 -0700 Subject: [PATCH] Make --output-lang consistent with --lang (#1877) --- src/options/language.cpp | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/src/options/language.cpp b/src/options/language.cpp index 4c224b95d..e4f0f58c5 100644 --- a/src/options/language.cpp +++ b/src/options/language.cpp @@ -128,16 +128,20 @@ OutputLanguage toOutputLanguage(std::string language) { return output::LANG_CVC4; } else if(language == "cvc3" || language == "LANG_CVC3") { return output::LANG_CVC3; - } else if(language == "smtlib" || language == "smt" || - language == "smtlib2" || language == "smt2" || - language == "smtlib2.0" || language == "smt2.0" || - language == "LANG_SMTLIB_V2_0" || language == "LANG_SMTLIB_V2") { + } + else if (language == "smtlib2.0" || language == "smt2.0" + || language == "LANG_SMTLIB_V2_0") + { return output::LANG_SMTLIB_V2_0; } else if(language == "smtlib2.5" || language == "smt2.5" || language == "LANG_SMTLIB_V2_5") { return output::LANG_SMTLIB_V2_5; - } else if(language == "smtlib2.6" || language == "smt2.6" || - language == "LANG_SMTLIB_V2_6") { + } + 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 == "smtlib2.6.1" || language == "smt2.6.1" -- 2.30.2