From 342db5255827a03aea4b93bc868198b5e610b24a Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Thu, 21 Mar 2024 12:03:52 +0100
Subject: [PATCH] fix

---
 src/sat/smt/polysat/viable.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/sat/smt/polysat/viable.cpp b/src/sat/smt/polysat/viable.cpp
index 7a7deb573..dedaa53be 100644
--- a/src/sat/smt/polysat/viable.cpp
+++ b/src/sat/smt/polysat/viable.cpp
@@ -665,10 +665,12 @@ namespace polysat {
             switch (m_projection()) {
             case l_true:
                 // propagated interval onto subslice
+                result.reset();
                 m_projection.explain(result);
                 break;
             case l_false:
                 // conflict (projected interval is full)
+                result.reset();
                 m_projection.explain(result);
                 break;
             case l_undef: