From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Thu, 29 Oct 2020 22:17:48 +0000 (-0500)
Subject: Set strings pending conflict flag (#5364)
X-Git-Tag: cvc5-1.0.0~2645
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3596632eef07dbe28ea4a4f166c18ad9fe26d4e0;p=cvc5.git

Set strings pending conflict flag (#5364)

While addressing the review on 6898ab9, strings eager conflicts were accidentally disabled, this reenables them.
---

diff --git a/src/theory/strings/solver_state.cpp b/src/theory/strings/solver_state.cpp
index 40edb88cf..89d77b033 100644
--- a/src/theory/strings/solver_state.cpp
+++ b/src/theory/strings/solver_state.cpp
@@ -246,6 +246,7 @@ void SolverState::setPendingConflict(InferInfo& ii)
   if (!d_pendingConflictSet.get())
   {
     d_pendingConflict = ii;
+    d_pendingConflictSet.set(true);
   }
 }