From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Tue, 4 Feb 2020 14:31:29 +0000 (-0800)
Subject: Revert semantic change from refactoring (#3711)
X-Git-Tag: cvc5-1.0.0~3685
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d90b26309b0f3a4ca9d57349f6cedf7b8bbbe6a8;p=cvc5.git

Revert semantic change from refactoring (#3711)
---

diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp
index 152160cde..c3a67aec9 100644
--- a/src/theory/strings/theory_strings.cpp
+++ b/src/theory/strings/theory_strings.cpp
@@ -1629,7 +1629,7 @@ void TheoryStrings::checkExtfEval( int effort ) {
             Trace("strings-extf") << "  resolve extf : " << sn << " -> " << nrc << std::endl;
             d_im.sendInference(
                 einfo.d_exp, conc, effort == 0 ? "EXTF" : "EXTF-N", true);
-            if (!d_state.isInConflict())
+            if (d_state.isInConflict())
             {
               Trace("strings-extf-debug") << "  conflict, return." << std::endl;
               return;