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

diff --git a/helm/ocaml/cic_annotations/cicAnnotationParser.ml b/helm/ocaml/cic_annotations/cicAnnotationParser.ml
index 33782d4f2..d8c67ea63 100644
--- a/helm/ocaml/cic_annotations/cicAnnotationParser.ml
+++ b/helm/ocaml/cic_annotations/cicAnnotationParser.ml
@@ -41,10 +41,6 @@ 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