From 93a3c486b00fe566b2ea70b3062e26a117865ce3 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 23 May 2017 18:32:08 -0700
Subject: [PATCH] small fix in lar_solver.cpp

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/util/lp/lar_solver.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/util/lp/lar_solver.cpp b/src/util/lp/lar_solver.cpp
index b6315fe5c..aed5e32db 100644
--- a/src/util/lp/lar_solver.cpp
+++ b/src/util/lp/lar_solver.cpp
@@ -1381,7 +1381,8 @@ void lar_solver::shrink_explanation_to_minimum(vector<std::pair<mpq, constraint_
     lean_assert(this->explanation_is_correct(explanation));
 }
 
-final_check_status check_int_feasibility() {
+final_check_status lar_solver::check_int_feasibility() {
+    std::cout << "lar_solver::check_int_feasibility()\n";
 	return final_check_status::GIVEUP;
 }
 } // namespace lean