X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2F.depend;h=c7ccf70491a56645748d5d310f72d253aca491db;hb=9e781c8957ff049e7bba65e1d611e5f007b02fb5;hp=459aa8c8b223965af2b93a013fd4c7cf3696fda6;hpb=4bcd14a9ed245ccae631697a05ff5a377c02b179;p=helm.git

diff --git a/helm/ocaml/cic_transformations/.depend b/helm/ocaml/cic_transformations/.depend
index 459aa8c8b..c7ccf7049 100644
--- 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