Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)

1 files changed, 4 insertions, 4 deletions

diff --git a/src/theory/logic_info.cpp b/src/theory/logic_info.cpp
index 34ea5f9b1..9fd28e8dc 100644
--- a/src/theory/logic_info.cpp
+++ b/src/theory/logic_info.cpp
@@ -22,10 +22,9 @@
 #include <sstream>
 #include <string>
 
-#include "base/cvc4_assert.h"
+#include "base/check.h"
 #include "expr/kind.h"
 
-
 using namespace std;
 using namespace CVC4::theory;
 
@@ -334,8 +333,9 @@ std::string LogicInfo::getLogicString() const {
         ++seen;
       }
       if(seen != d_sharingTheories) {
-        Unhandled("can't extract a logic string from LogicInfo; at least one "
-                  "active theory is unknown to LogicInfo::getLogicString() !");
+        Unhandled()
+            << "can't extract a logic string from LogicInfo; at least one "
+               "active theory is unknown to LogicInfo::getLogicString() !";
       }
 
       if(seen == 0) {