backported new pxp module from branch V7_3_new_exportation

[helm.git] / helm / ocaml / cic / cicParser.ml

diff --git a/helm/ocaml/cic/cicParser.ml b/helm/ocaml/cic/cicParser.ml
index 241a5c1752caafe0af217271dd654545e31f4136..7cabeb6ae16413f6ac108b15b54f109b0ad8c755 100644 (file)
--- a/helm/ocaml/cic/cicParser.ml
+++ b/helm/ocaml/cic/cicParser.ml
@@ -77,7 +77,9 @@ let annobj_of_xml filename uri =
       Y.parse_document_entity config
 (*PXP       (Y.ExtID (Pxp_types.System filename,
          new Pxp_reader.resolve_as_file ~url_of_id ()))
-*)     (PxpUriResolver.from_file filename)
+*)
+(*       (PxpUriResolver.from_file filename) *)
+       (Y.from_file ~alt:[PxpUrlResolver.url_resolver] filename)
        CicParser3.domspec
     in
      CicParser2.get_term d#root