From 93a4939d494aa415c1c1092546f63fea50aa622a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 17 Jun 2021 11:15:37 -0700
Subject: [PATCH] #5336

---
 src/sat/smt/q_eval.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sat/smt/q_eval.cpp b/src/sat/smt/q_eval.cpp
index c1d22ad36..5e5cc83b8 100644
--- 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) {