#5336

Z3Prover · Jun 17, 2021 · 93a4939 · 93a4939
1 parent 2174bcc
commit 93a4939
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/sat/smt/q_eval.cpp b/src/sat/smt/q_eval.cpp
@@ -278,6 +278,7 @@ namespace q {
 
 
     void eval::explain(sat::literal l, justification& j, sat::literal_vector& r, bool probing) {
+        scoped_mark_reset _sr(*this);
         unsigned l_idx = 0;
         clause& c = j.m_clause;
         for (; l_idx < c.size(); ++l_idx) {