...

diff --git a/helm/ocaml/cic/.depend b/helm/ocaml/cic/.depend
index 1d596495f03ef0d118ba558b2ddd72e225f8c5b1..2d3f8d906a7962b13d7d86044038d69fbd65cbd0 100644 (file)
--- 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