From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 22 Oct 2004 12:18:16 +0000 (+0000)
Subject: rebuilt
X-Git-Tag: V_0_0_10~44
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d9159478c80b10320dbf490c33209964508e77d0;p=helm.git

rebuilt
---

diff --git a/helm/ocaml/cic_unification/.depend b/helm/ocaml/cic_unification/.depend
index f78ca1699..f007ff326 100644
--- 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