diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-26 18:05:02 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-26 18:32:37 -0400 |
| commit | 2d58a9801973f9f30f720385b8deeca50c26a719 (patch) | |
| tree | 1fd7d7e396830d1607e0bc8143e8b39aa667a0d2 /src/theory/logic_info.cpp | |
| parent | 62c2271daa9dd538a2abf25baca4cddb19a74986 (diff) | |
Fix an off-the-end string pointer bug (showed up only in some Win32 builds).
Diffstat (limited to 'src/theory/logic_info.cpp')
| -rw-r--r-- | src/theory/logic_info.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/theory/logic_info.cpp b/src/theory/logic_info.cpp index 525b129cf..a85044cec 100644 --- 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")) { |