From 889292472e6d9b56357119ee8062610601ed8ce3 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 13 Aug 2024 13:48:20 -1000
Subject: [PATCH] fix the build

---
 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 a170440b3..15e654fe1 100644
--- a/src/math/lp/int_solver.h
+++ b/src/math/lp/int_solver.h
@@ -31,7 +31,7 @@ Revision History:
 namespace lp {
 class lar_solver;
 class lar_core_solver;
-class patcher;
+class imp;
 class int_solver {
     friend struct create_cut;
     friend class gomory;