fix the build

Z3Prover · Dec 21, 2023 · 19f3ad4 · 19f3ad4
1 parent e9fa7db
commit 19f3ad4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);
     };
 }