Xml.token is now namespace-aware. As a consequence, xml2Gdomexmath is

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

diff --git a/helm/ocaml/cic_transformations/.depend b/helm/ocaml/cic_transformations/.depend
index 2640418cdb1375d78dd00cac93036024054626fe..11e89e6cb6e0a725fd1ad6b3464808c3ab48ad6e 100644 (file)
--- 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 \