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;