From 83aeba9ef402abd81661025a054db1ec70a92531 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Mon, 23 Oct 2023 11:46:43 +0200
Subject: [PATCH] fix

---
 src/math/polysat/viable.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/polysat/viable.cpp b/src/math/polysat/viable.cpp
index ecaa512ac..588209049 100644
--- a/src/math/polysat/viable.cpp
+++ b/src/math/polysat/viable.cpp
@@ -1205,7 +1205,7 @@ namespace {
                                 out_fbi.push_from_bit(last_indet, k);
                             }
                         }
-                        out_fbi.push_just(i, neg.first);
+                        out_fbi.push_just(last_indet, neg.first);
                         fixed[last_indet] = neg.second.bits.get_bit(last_indet) ? l_false : l_true;
                         removed[j] = true;
                         LOG("Applying fast BCP on bit " << last_indet << " from constraint " << neg.first->src);