From 19f3ad46ce0d41a55c3119c9ed4e70ea79f972d3 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Wed, 20 Dec 2023 14:14:01 -1000
Subject: [PATCH] fix the build

---
 src/math/lp/gomory.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/lp/gomory.h b/src/math/lp/gomory.h
index 845f051fa..2586a4d31 100644
--- a/src/math/lp/gomory.h
+++ b/src/math/lp/gomory.h
@@ -32,7 +32,7 @@ namespace lp {
         bool is_gomory_cut_target(lpvar j); 
         lia_move get_cut(lpvar j);
     public:
-        lia_move gomory::get_gomory_cuts(unsigned num_cuts);
+        lia_move get_gomory_cuts(unsigned num_cuts);
         gomory(int_solver& lia);
     };
 }