diff options
| author | Liana Hadarean <lianahady@gmail.com> | 2015-04-23 17:38:48 +0100 |
|---|---|---|
| committer | Liana Hadarean <lianahady@gmail.com> | 2015-04-23 17:38:48 +0100 |
| commit | 0daf670d46ec2e781c2060b41449f2787b6e8f66 (patch) | |
| tree | 7f1870bc621407a3c387ab6eb3dc77db529355dc /src/theory/logic_info.cpp | |
| parent | c604492260d0555bdb3cac5ba0863b7223f21777 (diff) | |
Added option for --check-unsat-cores and various core bug fixes (merge of Morgan's proof branch).
Diffstat (limited to 'src/theory/logic_info.cpp')
| -rw-r--r-- | src/theory/logic_info.cpp | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/theory/logic_info.cpp b/src/theory/logic_info.cpp index 635262a1e..1df304061 100644 --- a/src/theory/logic_info.cpp +++ b/src/theory/logic_info.cpp @@ -223,13 +223,7 @@ void LogicInfo::setLogicString(std::string logicString) throw(IllegalArgumentExc p += 2; } if(*p == 'S') { - // Strings requires arith for length constraints, - // and UF for equality (?) enableTheory(THEORY_STRINGS); - enableTheory(THEORY_UF); - enableTheory(THEORY_ARITH); - enableIntegers(); - arithOnlyLinear(); ++p; } if(!strncmp(p, "IDL", 3)) { |