X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_test%2F.depend;h=6c5f0ca1b36f5fe6e8ccc0aa14364d5b2d66c22f;hb=02f8929bd58c6408545b550bcad0edb8702ca933;hp=6974b705264ccb56fbac432335896845818104dd;hpb=48b9bb5e9504aba97cff28a9d7e2797feb42972e;p=helm.git diff --git a/helm/ocaml/mathql_test/.depend b/helm/ocaml/mathql_test/.depend index 6974b7052..6c5f0ca1b 100644 --- a/helm/ocaml/mathql_test/.depend +++ b/helm/ocaml/mathql_test/.depend @@ -1,2 +1,2 @@ -mqgtop.cmo: mQGTopParser.cmi +mqgtop.cmo: mQGTopParser.cmo mqgtop.cmx: mQGTopParser.cmx