X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_test%2F.depend;h=b8d9e578a19ee87615fbd3a4e7bd4893be9c2742;hb=381006cf8b418cfdeaf145ab7df9e8f2b19ae2e6;hp=851d52dd61c303c4cde4a667ac9e8d729d351291;hpb=efdc3184ccd0738fe48aa0056fc444fba23329e8;p=helm.git diff --git a/helm/mathql_test/.depend b/helm/mathql_test/.depend index 851d52dd6..b8d9e578a 100644 --- a/helm/mathql_test/.depend +++ b/helm/mathql_test/.depend @@ -1,3 +1,5 @@ +mqgtop.cmo: mQGTopLexer.cmo mQGTopParser.cmi +mqgtop.cmx: mQGTopLexer.cmx mQGTopParser.cmx mQGTopParser.cmo: mQGTopParser.cmi mQGTopParser.cmx: mQGTopParser.cmi mQGTopLexer.cmo: mQGTopParser.cmi