From 970a68e749b02d13ef688d5cc2d9bc3f9963e9f9 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Thu, 7 Dec 2023 14:36:37 +0100
Subject: [PATCH] switch on new viable

---
 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 2cd0019b0..e2aab238e 100644
--- a/src/math/polysat/viable.cpp
+++ b/src/math/polysat/viable.cpp
@@ -1161,7 +1161,7 @@ namespace polysat {
 
     find_t viable::find_viable(pvar v, rational& lo) {
         rational hi;
-        switch (find_viable2(v, lo, hi)) {
+        switch (find_viable2_new(v, lo, hi)) {
         case l_true:
             if (hi < 0) {
                 // fallback solver, treat propagations as decisions for now