From c2bd6c04b54e41a782ae167d51926f480076cebb Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 10 Jun 2005 13:00:51 +0000
Subject: [PATCH] ...

---
 helm/ocaml/cic/.depend | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/helm/ocaml/cic/.depend b/helm/ocaml/cic/.depend
index 1d596495f..2d3f8d906 100644
--- a/helm/ocaml/cic/.depend
+++ b/helm/ocaml/cic/.depend
@@ -1,3 +1,4 @@
+unshare.cmi: cic.cmo 
 deannotate.cmi: cic.cmo 
 cicParser3.cmi: cic.cmo 
 cicParser2.cmi: cicParser3.cmi cic.cmo 
@@ -8,6 +9,8 @@ cicUtil.cmi: cic.cmo
 helmLibraryObjects.cmi: cic.cmo 
 cic.cmo: cicUniv.cmi 
 cic.cmx: cicUniv.cmx 
+unshare.cmo: cic.cmo unshare.cmi 
+unshare.cmx: cic.cmx unshare.cmi 
 cicUniv.cmo: cicUniv.cmi 
 cicUniv.cmx: cicUniv.cmi 
 deannotate.cmo: cic.cmo deannotate.cmi 
-- 
2.39.2