diff options
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() !"); |