patches for the new interface of text_of_query/text_of result

[helm.git] / helm / gTopLevel / topLevel / .depend

diff --git a/helm/gTopLevel/topLevel/.depend b/helm/gTopLevel/topLevel/.depend
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..6ca33a924b85a649a29c06da6b6fb00ca03c3b45 100644 (file)
--- a/helm/gTopLevel/topLevel/.depend
+++ b/helm/gTopLevel/topLevel/.depend
@@ -0,0 +1,4 @@
+topLevel.cmo: ../mQueryGenerator.cmi ../../ocaml/mathql/mQueryUtil.cmi \
+    ../../ocaml/mathql_interpreter/mqint.cmi 
+topLevel.cmx: ../mQueryGenerator.cmx ../../ocaml/mathql/mQueryUtil.cmx \
+    ../../ocaml/mathql_interpreter/mqint.cmx