Debugging stuff removed.

[helm.git] / helm / ocaml / cic_annotations / cicAnnotationParser.ml

diff --git a/helm/ocaml/cic_annotations/cicAnnotationParser.ml b/helm/ocaml/cic_annotations/cicAnnotationParser.ml
index 7b4fdad6a5e3d328c8823ff4022622177f0974d9..d8c67ea635b8d08926ba22acd1621ecfb31dfe1e 100644 (file)
--- a/helm/ocaml/cic_annotations/cicAnnotationParser.ml
+++ b/helm/ocaml/cic_annotations/cicAnnotationParser.ml
@@ -41,9 +41,7 @@ let get_annotations filename =
     let d =
      let config = {Y.default_config with Y.warner = new warner} in
       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)
+       (Y.from_file ~alt:[PxpUrlResolver.url_resolver] filename)
        Y.default_spec
 
     in