From 824c2674b9bbe39f85984d92bd017d511f69a994 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 7 Feb 2020 17:37:38 -0800
Subject: [PATCH] roll back the branching experiment

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/int_solver.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/lp/int_solver.h b/src/math/lp/int_solver.h
index 7ccbf4d58..955371e1a 100644
--- a/src/math/lp/int_solver.h
+++ b/src/math/lp/int_solver.h
@@ -142,7 +142,7 @@ public:
     bool all_columns_are_bounded() const;
     impq get_cube_delta_for_term(const lar_term&) const;
     void find_feasible_solution();
-    int find_inf_int_nbasis_column();
+    int find_inf_int_nbasis_column() const;
     lia_move run_gcd_test();
     lia_move gomory_cut();
     lia_move hnf_cut();