Link gmlmip.o again

CoAlgLogics.ml

@@ -6,7 +6,7 @@
 open CoAlgMisc
 open CoolUtils
 open CoAlgLogicUtils
-(* open Gmlmip *)
+open Gmlmip
 
 module S = MiscSolver
 

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) \