diff --git a/CoAlgLogics.ml b/CoAlgLogics.ml
index 6f5c034ed5fc6884e085b5c435c651604c0d83c7..16962b855d064d7ba4510be0111e51cfe3b0b659 100644
--- a/CoAlgLogics.ml
+++ b/CoAlgLogics.ml
@@ -5,7 +5,7 @@
 
 open CoAlgMisc
 open CoAlgLogicUtils
-open Gmlmip
+(* open Gmlmip *)
 
 module S = MiscSolver
 
diff --git a/Makefile b/Makefile
index 303c93a358d5f1707c89e7f2eedbccea9fef9003..e3b3c6373098f4765a1c29e827491c769ace43f8 100644
--- a/Makefile
+++ b/Makefile
@@ -100,7 +100,7 @@ gmlmip.cmxa: gmlmip.cmx gmlmip_stub.o $(GMLOBJS)
 	$(OCAMLOPT) -a -o $@ $^ -cclib -lbdd -cclib -lm -cclib -lglpk
 
 # Object files... sorted topologically by their dependency...
-COALG_OBJS := minisat$(SUFFIXLIB) gmlmip$(SUFFIXLIB) \
+COALG_OBJS := minisat$(SUFFIXLIB) \
               genAndComp$(SUFFIX) MiscSolver$(SUFFIX) altGenlex$(SUFFIX) HashConsing$(SUFFIX) \
               ALCFormula$(SUFFIX) ALCMisc$(SUFFIX) ALCGraph$(SUFFIX) \
               CoAlgFormula$(SUFFIX) \