X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2F.depend;h=ff5132bcc1a5a555dcc7c6e76dd2128a5aafaa5d;hb=a32bcc14672dae13e8bb725e54c819958dfdb677;hp=8acbe7bca51e0e6ced3b397736c636677f9bb775;hpb=b11baedbb4708305eb9a290dc5846e7c62e310f4;p=helm.git

diff --git a/helm/ocaml/mathql/.depend b/helm/ocaml/mathql/.depend
index 8acbe7bca..ff5132bcc 100644
--- a/helm/ocaml/mathql/.depend
+++ b/helm/ocaml/mathql/.depend
@@ -1,4 +1,2 @@
-mQueryMisc.cmo: mQueryMisc.cmi 
-mQueryMisc.cmx: mQueryMisc.cmi 
 mQueryUtil.cmo: mQueryUtil.cmi 
 mQueryUtil.cmx: mQueryUtil.cmi