From b84b5d091e77724a3c842f7e5d7009be6552f041 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 20 Jul 2021 08:02:21 -0700
Subject: [PATCH] #5420

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

diff --git a/src/sat/smt/q_ematch.cpp b/src/sat/smt/q_ematch.cpp
index 99282bf30..c83680f72 100644
--- a/src/sat/smt/q_ematch.cpp
+++ b/src/sat/smt/q_ematch.cpp
@@ -303,6 +303,7 @@ namespace q {
             auto [is_conflict, idx, j_idx] = m_prop_queue[i];
             propagate(is_conflict, idx, j_idx);
         }
+        m_prop_queue.reset();
         return true;
     }