]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/.depend
Commit of updates in intersect.ml/mli, mqint.ml, Makefile
[helm.git] / helm / ocaml / mathql_interpreter / .depend
index 462e69e87fda67e018bceec2fae7cb5b33d73df7..722043c03d3b312202202724619c9a094a3269e2 100644 (file)
@@ -1,2 +1,4 @@
-mqint.cmo: mqint.cmi 
-mqint.cmx: mqint.cmi 
+intersect.cmo: intersect.cmi 
+intersect.cmx: intersect.cmi 
+mqint.cmo: intersect.cmi mqint.cmi 
+mqint.cmx: intersect.cmx mqint.cmi