mqint updated

[helm.git] / helm / ocaml / mathql_interpreter / Makefile

diff --git a/helm/ocaml/mathql_interpreter/Makefile b/helm/ocaml/mathql_interpreter/Makefile
index a8aea2b32a6f6389430629de761429d5188ee96d..14cc838f96ab79a26e44c071eea9da630c8f07e3 100644 (file)
--- a/helm/ocaml/mathql_interpreter/Makefile
+++ b/helm/ocaml/mathql_interpreter/Makefile
@@ -8,7 +8,7 @@ IMPLEMENTATION_FILES =  dbconn.ml utility.ml relation.ml diff.ml meet.ml sub.ml
 
 # $(INTERFACE_FILES:%.mli=%.ml)
 
-EXTRA_OBJECTS_TO_INSTALL = 
+EXTRA_OBJECTS_TO_INSTALL = context.ml
 
 EXTRA_OBJECTS_TO_CLEAN =