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;