X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_annotations%2FcicAnnotationParser.ml;h=33782d4f24e27cad5d338a64f475666d2b039d33;hb=6f6b8f33397548319fef9b374f9e9017e7fa151d;hp=7b4fdad6a5e3d328c8823ff4022622177f0974d9;hpb=ae326f646ef4c01b43d6da04201b427d1e175400;p=helm.git

diff --git a/helm/ocaml/cic_annotations/cicAnnotationParser.ml b/helm/ocaml/cic_annotations/cicAnnotationParser.ml
index 7b4fdad6a..33782d4f2 100644
--- a/helm/ocaml/cic_annotations/cicAnnotationParser.ml
+++ b/helm/ocaml/cic_annotations/cicAnnotationParser.ml
@@ -43,7 +43,9 @@ let get_annotations filename =
       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)
        Y.default_spec
 
     in