From b0c15fd46c29b91325474d05889dc368a45a310a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 28 Jul 2026 14:16:49 -0700
Subject: [PATCH] re-add removed function

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/lp/int_solver.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/math/lp/int_solver.cpp b/src/math/lp/int_solver.cpp
index 1fe5096032..0f7fbe3754 100644
--- a/src/math/lp/int_solver.cpp
+++ b/src/math/lp/int_solver.cpp
@@ -735,7 +735,9 @@ namespace lp {
         return true;
     }
 
-
+    bool int_solver::current_solution_is_inf_on_cut() const {
+        return m_imp->current_solution_is_inf_on_cut();
+    }
 
     void int_solver::simplify(std::function<bool(unsigned)>& is_root) {
         return;