1 files changed, 8 insertions, 0 deletions
diff --git a/src/theory/logic_info.cpp b/src/theory/logic_info.cpp
index 4ea30d5c9..635262a1e 100644
--- a/src/theory/logic_info.cpp
+++ b/src/theory/logic_info.cpp
@@ -107,6 +107,10 @@ std::string LogicInfo::getLogicString() const {
         ss << "BV";
         ++seen;
       }
+      if(d_theories[THEORY_FP]) {
+        ss << "FP";
+        ++seen;
+      }
       if(d_theories[THEORY_DATATYPES]) {
         ss << "DT";
         ++seen;
@@ -206,6 +210,10 @@ void LogicInfo::setLogicString(std::string logicString) throw(IllegalArgumentExc
         enableTheory(THEORY_BV);
         p += 2;
       }
+      if(!strncmp(p, "FP", 2)) {
+        enableTheory(THEORY_FP);
+        p += 2;
+      }
       if(!strncmp(p, "DT", 2)) {
         enableTheory(THEORY_DATATYPES);
         p += 2;