From a406e01fb811f42cd4205d5593533e5ae6a4094f Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Thu, 5 Jan 2023 16:44:45 +0100
Subject: [PATCH] e0 instead of first?

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

diff --git a/src/math/polysat/viable.cpp b/src/math/polysat/viable.cpp
index 6e5474a64..e88db7d27 100644
--- a/src/math/polysat/viable.cpp
+++ b/src/math/polysat/viable.cpp
@@ -744,10 +744,9 @@ namespace polysat {
             return false;
         entry const* e0 = e;
 
-
         do {
             entry const* n = e->next();
-            while (n != first) {
+            while (n != e0) {
                 entry const* n1 = n->next();
                 if (n1 == e)
                     break;