rebuilt

diff --git a/helm/ocaml/cic_unification/.depend b/helm/ocaml/cic_unification/.depend
index f78ca1699760f97efa3314f2450fa49141911b99..f007ff3265858581859b1d128c46f4f3f0627ca0 100644 (file)
--- a/helm/ocaml/cic_unification/.depend
+++ b/helm/ocaml/cic_unification/.depend
@@ -1,5 +1,3 @@
-cicMkImplicit.cmi: cicMetaSubst.cmi 
-cicUnification.cmi: cicMetaSubst.cmi 
 cicMetaSubst.cmo: cicMetaSubst.cmi 
 cicMetaSubst.cmx: cicMetaSubst.cmi 
 cicMkImplicit.cmo: cicMkImplicit.cmi