Remove redundant logic ALL_SUPPORTED. (#6664)

1 files changed, 0 insertions, 12 deletions

diff --git a/src/theory/logic_info.cpp b/src/theory/logic_info.cpp
index 5d741c942..ecebd27c9 100644
--- a/src/theory/logic_info.cpp
+++ b/src/theory/logic_info.cpp
@@ -383,24 +383,12 @@ void LogicInfo::setLogicString(std::string logicString)
     // quantified Boolean formulas only; we're done.
     enableQuantifiers();
     p += 3;
-  } else if(!strcmp(p, "QF_ALL_SUPPORTED")) {
-    // the "all theories included" logic, no quantifiers
-    enableEverything();
-    disableQuantifiers();
-    arithNonLinear();
-    p += 16;
   } else if(!strcmp(p, "QF_ALL")) {
     // the "all theories included" logic, no quantifiers
     enableEverything();
     disableQuantifiers();
     arithNonLinear();
     p += 6;
-  } else if(!strcmp(p, "ALL_SUPPORTED")) {
-    // the "all theories included" logic, with quantifiers
-    enableEverything();
-    enableQuantifiers();
-    arithNonLinear();
-    p += 13;
   } else if(!strcmp(p, "ALL")) {
     // the "all theories included" logic, with quantifiers
     enableEverything();