X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_test%2F.depend;h=851d52dd61c303c4cde4a667ac9e8d729d351291;hb=786284e9dfb25a31aad2161d59cdc5f36657e94a;hp=b8d9e578a19ee87615fbd3a4e7bd4893be9c2742;hpb=5bef9ac5a9bfe07b11ce0e44fab51ea4b6eb4057;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