X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2F.depend;h=11e89e6cb6e0a725fd1ad6b3464808c3ab48ad6e;hb=6f65a2e518d723ea722b23bfd9fa0162ff8be457;hp=2640418cdb1375d78dd00cac93036024054626fe;hpb=b266dce15b2f669a70daaee3bd0887f8d9c345b2;p=helm.git

diff --git a/helm/ocaml/cic_transformations/.depend b/helm/ocaml/cic_transformations/.depend
index 2640418cd..11e89e6cb 100644
--- a/helm/ocaml/cic_transformations/.depend
+++ b/helm/ocaml/cic_transformations/.depend
@@ -33,8 +33,6 @@ misc.cmo: misc.cmi
 misc.cmx: misc.cmi 
 xml2Gdome.cmo: xml2Gdome.cmi 
 xml2Gdome.cmx: xml2Gdome.cmi 
-xml2Gdomexmath.cmo: xml2Gdomexmath.cmi 
-xml2Gdomexmath.cmx: xml2Gdomexmath.cmi 
 sequentPp.cmo: cic2Xml.cmi cic2acic.cmi sequentPp.cmi 
 sequentPp.cmx: cic2Xml.cmx cic2acic.cmx sequentPp.cmi 
 applyStylesheets.cmo: cic2Xml.cmi misc.cmi sequentPp.cmi xml2Gdome.cmi \