From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Fri, 4 May 2018 18:32:38 +0000 (-0700)
Subject: Make --output-lang consistent with --lang (#1877)
X-Git-Tag: cvc5-1.0.0~5086
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=66eab37a0e435b314408b3180819b9751aeff3df;p=cvc5.git

Make --output-lang consistent with --lang (#1877)
---

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"