cic2content.ml* moved from cic_transformations to cic_omdoc.

[helm.git] / helm / ocaml / cic_omdoc / .depend

diff --git a/helm/ocaml/cic_omdoc/.depend b/helm/ocaml/cic_omdoc/.depend
index d12896d4770dbdbea3d801dcb888dff918dbfc90..5dfc55b8a36a4a7081598974f7b327e9b087c30d 100644 (file)
--- a/helm/ocaml/cic_omdoc/.depend
+++ b/helm/ocaml/cic_omdoc/.depend
@@ -1,4 +1,5 @@
 contentPp.cmi: content.cmi 
+cic2content.cmi: cic2acic.cmi content.cmi 
 content2cic.cmi: content.cmi 
 eta_fixing.cmo: eta_fixing.cmi 
 eta_fixing.cmx: eta_fixing.cmi 
@@ -10,5 +11,7 @@ content.cmo: content.cmi
 content.cmx: content.cmi 
 contentPp.cmo: content.cmi contentPp.cmi 
 contentPp.cmx: content.cmx contentPp.cmi 
+cic2content.cmo: cic2acic.cmi content.cmi cic2content.cmi 
+cic2content.cmx: cic2acic.cmx content.cmx cic2content.cmi 
 content2cic.cmo: content.cmi content2cic.cmi 
 content2cic.cmx: content.cmx content2cic.cmi