]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/xml/.depend
ocaml 3.09 transition
[helm.git] / helm / ocaml / xml / .depend
index bc6941bdfe7a1174e593d6aabae71c6e79141ec9..5ef59bdc96d40e0a64e0f50d91b949382a7f57e0 100644 (file)
@@ -1,2 +1,4 @@
 xml.cmo: xml.cmi 
 xml.cmx: xml.cmi 
+xmlPushParser.cmo: xmlPushParser.cmi 
+xmlPushParser.cmx: xmlPushParser.cmi