Fix an off-the-end string pointer bug (showed up only in some Win32 builds).

diff --git a/src/theory/logic_info.cpp b/src/theory/logic_info.cpp
index 525b129cf969fc949ec4fa555155ffdb4b231303..a85044cecebf8e8303706fe68f5c440e1ea5a89e 100644 (file)
--- a/src/theory/logic_info.cpp
+++ b/src/theory/logic_info.cpp
@@ -153,7 +153,9 @@ void LogicInfo::setLogicString(std::string logicString) throw(IllegalArgumentExc
   enableTheory(THEORY_BOOL);
 
   const char* p = logicString.c_str();
-  if(!strcmp(p, "QF_SAT") || *p == '\0') {
+  if(*p == '\0') {
+    // propositional logic only; we're done.
+  } else if(!strcmp(p, "QF_SAT")) {
     // propositional logic only; we're done.
     p += 6;
   } else if(!strcmp(p, "QF_ALL_SUPPORTED")) {