X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fxml%2F.depend;h=5ef59bdc96d40e0a64e0f50d91b949382a7f57e0;hb=cb27dc85331027e290e3c4afc7ddef2e869cdfac;hp=bc6941bdfe7a1174e593d6aabae71c6e79141ec9;hpb=d4dd07ecc4191d9dac83b5d4d23dfc61c4492d77;p=helm.git

diff --git a/helm/ocaml/xml/.depend b/helm/ocaml/xml/.depend
index bc6941bdf..5ef59bdc9 100644
--- a/helm/ocaml/xml/.depend
+++ b/helm/ocaml/xml/.depend
@@ -1,2 +1,4 @@
 xml.cmo: xml.cmi 
 xml.cmx: xml.cmi 
+xmlPushParser.cmo: xmlPushParser.cmi 
+xmlPushParser.cmx: xmlPushParser.cmi