From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 10 Jun 2005 13:00:51 +0000 (+0000)
Subject: ...
X-Git-Tag: PRE_STORAGE~82
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c2bd6c04b54e41a782ae167d51926f480076cebb;p=helm.git

...
---

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