X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_test%2F.depend;h=851d52dd61c303c4cde4a667ac9e8d729d351291;hb=efdc3184ccd0738fe48aa0056fc444fba23329e8;hp=b8d9e578a19ee87615fbd3a4e7bd4893be9c2742;hpb=0e74e8e94eada756157addce67e4adeb8dff1feb;p=helm.git

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