From d9159478c80b10320dbf490c33209964508e77d0 Mon Sep 17 00:00:00 2001
From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 22 Oct 2004 12:18:16 +0000
Subject: [PATCH] rebuilt

---
 helm/ocaml/cic_unification/.depend | 2 --
 1 file changed, 2 deletions(-)

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 
-- 
2.39.2