From d90b26309b0f3a4ca9d57349f6cedf7b8bbbe6a8 Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Tue, 4 Feb 2020 06:31:29 -0800 Subject: [PATCH] Revert semantic change from refactoring (#3711) --- src/theory/strings/theory_strings.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; -- 2.30.2