diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-06-17 18:38:16 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-06-17 18:38:16 -0500 |
commit | f5ed28fe24f6b887630a48dcf476c462c0c227a1 (patch) | |
tree | edd8b8c35b474ed051ace7c861799d734ab5b99d /src/theory/logic_info.cpp | |
parent | 1a2547995acc5a98c8969e628ac5e1c45b0efe94 (diff) |
Cleanup from last commit, treat sep.nil as variable kind.
Diffstat (limited to 'src/theory/logic_info.cpp')
-rw-r--r-- | src/theory/logic_info.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/theory/logic_info.cpp b/src/theory/logic_info.cpp index 04cac7ae5..89b0f054a 100644 --- a/src/theory/logic_info.cpp +++ b/src/theory/logic_info.cpp @@ -270,7 +270,7 @@ std::string LogicInfo::getLogicString() const { if(d_theories[THEORY_FP]) { ss << "FP"; ++seen; - } + } if(d_theories[THEORY_DATATYPES]) { ss << "DT"; ++seen; @@ -296,7 +296,10 @@ std::string LogicInfo::getLogicString() const { ss << "FS"; ++seen; } - + if(d_theories[THEORY_SEP]) { + ss << "SEP"; + ++seen; + } if(seen != d_sharingTheories) { Unhandled("can't extract a logic string from LogicInfo; at least one " "active theory is unknown to LogicInfo::getLogicString() !"); |