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 40edb88cfd0e689e694a9eb05692c6ba524a68b3..89d77b033c678f17245f0dbb6ecd5dc4b8070066 100644 (file)
--- 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);
   }
 }