From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 19 Apr 2004 12:06:56 +0000 (+0000)
Subject: - use PxpHelmConf
X-Git-Tag: dead_dir_walking~39
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=bbff1250ea4a6c74151ef00340983f2547b2e912

- use PxpHelmConf
- removed references to deprecated Pxp_yacc module
---

diff --git a/helm/ocaml/getter/Makefile b/helm/ocaml/getter/Makefile
index cc2519cfc..99529c2d4 100644
--- a/helm/ocaml/getter/Makefile
+++ b/helm/ocaml/getter/Makefile
@@ -2,8 +2,8 @@
 PACKAGE = getter
 
 REQUIRES = \
-	http dbm pcre pxp shell zip \
-	helm-thread helm-logger helm-urimanager helm-registry
+	http dbm pcre shell zip \
+	helm-pxp helm-thread helm-logger helm-urimanager helm-registry
 
 INTERFACE_FILES = \
   	clientHTTP.mli \
diff --git a/helm/ocaml/getter/http_getter.ml b/helm/ocaml/getter/http_getter.ml
index 0f20792d7..d9e95a1c2 100644
--- a/helm/ocaml/getter/http_getter.ml
+++ b/helm/ocaml/getter/http_getter.ml
@@ -221,8 +221,8 @@ let resolve_remote uri =
   (* deliver resolve request to http_getter *)
   let doc = ClientHTTP.get (sprintf "%sresolve?uri=%s" (getter_url ()) uri) in
   let res = ref Unknown in
-   Pxp_yacc.process_entity Pxp_yacc.default_config (`Entry_content [])
-    (Pxp_yacc.create_entity_manager ~is_document:true Pxp_yacc.default_config
+   Pxp_yacc.process_entity PxpHelmConf.pxp_config (`Entry_content [])
+    (Pxp_yacc.create_entity_manager ~is_document:true PxpHelmConf.pxp_config
      (Pxp_yacc.from_string doc))
     (function
       | Pxp_yacc.E_start_tag ("url",["value",url],_) -> res := Resolved url