1 files changed, 5 insertions, 0 deletions
diff --git a/src/theory/logic_info.cpp b/src/theory/logic_info.cpp
index 4bbbdc322..73cd920d2 100644
--- a/src/theory/logic_info.cpp
+++ b/src/theory/logic_info.cpp
@@ -338,6 +338,11 @@ std::string LogicInfo::getLogicString() const {
         ss << "FS";
         ++seen;
       }
+      if (d_theories[THEORY_BAGS])
+      {
+        ss << "FB";
+        ++seen;
+      }
       if(seen != d_sharingTheories) {
         Unhandled()
             << "can't extract a logic string from LogicInfo; at least one "