diff --git a/CoAlgLogics.ml b/CoAlgLogics.ml
index 029747ae27ab716c267cb25181f0aea1b5f18d4f..c826d155057a7ffb9b948581df34c43a639186f5 100644
--- a/CoAlgLogics.ml
+++ b/CoAlgLogics.ml
@@ -6,7 +6,7 @@
 open CoAlgMisc
 open CoolUtils
 open CoAlgLogicUtils
-(* open Gmlmip *)
+open Gmlmip
 
 module S = MiscSolver
 
diff --git a/Makefile b/Makefile
index cc064a32bd632e1fca5e8d986af5c612c05d6540..34f90bbe40a39c975bf34818b938c9d7f81066f7 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) \
+COALG_OBJS := minisat$(SUFFIXLIB) gmlmip$(SUFFIXLIB) \
               CoolUtils$(SUFFIX) \
               genAndComp$(SUFFIX) MiscSolver$(SUFFIX) altGenlex$(SUFFIX) HashConsing$(SUFFIX) \
               ALCFormula$(SUFFIX) ALCMisc$(SUFFIX) ALCGraph$(SUFFIX) \