]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_env.ml
uses XmlPushParser instead of Pxp for parsing getter resolve answer
[helm.git] / helm / ocaml / getter / http_getter_env.ml
index 575207057b60a4d85a429fae90d5d0a9f584913a..be278da6e63eb78fac5e4455bffbbe9d4da9c78c 100644 (file)
@@ -27,9 +27,6 @@
  *)
 
 open Printf
-open Pxp_document
-open Pxp_types
-open Pxp_yacc
 
 open Http_getter_types