diff options
Diffstat (limited to 'src/theory/logic_info.cpp')
-rw-r--r-- | src/theory/logic_info.cpp | 12 |
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(); |