cic2content.ml* moved from cic_transformations to cic_omdoc.

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

diff --git a/helm/ocaml/cic_transformations/.depend b/helm/ocaml/cic_transformations/.depend
index 459aa8c8b223965af2b93a013fd4c7cf3696fda6..c7ccf70491a56645748d5d310f72d253aca491db 100644 (file)
--- a/helm/ocaml/cic_transformations/.depend
+++ b/helm/ocaml/cic_transformations/.depend
@@ -3,8 +3,6 @@ content2pres.cmi: mpresentation.cmi
 cexpr2pres_hashtbl.cmi: content_expressions.cmi mpresentation.cmi 
 cic2Xml.cmo: cic2Xml.cmi 
 cic2Xml.cmx: cic2Xml.cmi 
-cic2content.cmo: cic2content.cmi 
-cic2content.cmx: cic2content.cmi 
 content_expressions.cmo: content_expressions.cmi 
 content_expressions.cmx: content_expressions.cmi 
 mpresentation.cmo: mpresentation.cmi