X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_test%2F.depend;h=3a19b9d0a23bf190db973fcd0915a919793da64b;hb=cab4eba3c7da115ecc1973d989b321b46835e1eb;hp=6c5f0ca1b36f5fe6e8ccc0aa14364d5b2d66c22f;hpb=f59e3c55dde91612a2e8a16335f2a2e9137fde5f;p=helm.git

diff --git a/helm/ocaml/mathql_test/.depend b/helm/ocaml/mathql_test/.depend
index 6c5f0ca1b..3a19b9d0a 100644
--- a/helm/ocaml/mathql_test/.depend
+++ b/helm/ocaml/mathql_test/.depend
@@ -1,2 +1,6 @@
-mqgtop.cmo: mQGTopParser.cmo 
+mqgtop.cmo: mQGTopParser.cmi 
 mqgtop.cmx: mQGTopParser.cmx 
+mQGTopParser.cmo: mQGTopParser.cmi 
+mQGTopParser.cmx: mQGTopParser.cmi 
+mQGTopLexer.cmo: mQGTopParser.cmi 
+mQGTopLexer.cmx: mQGTopParser.cmx