From 5b8c6a98c2b0ed98929ed7be0b2e5cbe1b2b749a Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Tue, 14 May 2024 16:34:31 +0200
Subject: [PATCH] fix?

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

diff --git a/src/sat/smt/polysat/viable.cpp b/src/sat/smt/polysat/viable.cpp
index 9596f1910..013cabd50 100644
--- a/src/sat/smt/polysat/viable.cpp
+++ b/src/sat/smt/polysat/viable.cpp
@@ -980,7 +980,7 @@ v0[19] := 0 v0 [-131062 ; 0[ := [-131062;0[  src ~4 <= 43691*v0;
         }
 
         // if there is wrap-around, increment prefix
-        if (after.e->interval.lo_val() > after.e->interval.hi_val()) {
+        if (e.e->interval.lo_val() > e.e->interval.hi_val()) {
             prefix++;
             verbose_stream() << "    incremented stored prefix: " << prefix << "\n";
         }