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

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