X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FcicParser.ml;h=38fe9e210c41787004f1f970000d88d938f121ec;hb=e56b03bebff0a107ba82dbf078c75c5266175adb;hp=cb3a064fd7db72481759ea660331cd3981298b48;hpb=bac72fcaa876137ab7a5630e0c1badc2a627dce8;p=helm.git

diff --git a/helm/ocaml/cic/cicParser.ml b/helm/ocaml/cic/cicParser.ml
index cb3a064fd..38fe9e210 100644
--- a/helm/ocaml/cic/cicParser.ml
+++ b/helm/ocaml/cic/cicParser.ml
@@ -59,8 +59,6 @@ let annobj_of_xml filename filenamebody =
        Y.parse_document_entity config
         (Y.from_file ~alt:[PxpUrlResolver.url_resolver] filename)
         CicParser3.domspec in
-(* CSC: Until PXP bug is resolved *)
-PxpUrlResolver.url_resolver#close_all ;
       let docroot = doc#root in
        match filenamebody with
           None -> docroot,None
@@ -70,8 +68,6 @@ PxpUrlResolver.url_resolver#close_all ;
              (Y.from_file ~alt:[PxpUrlResolver.url_resolver] filename)
              CicParser3.domspec
            in
-(* CSC: Until PXP bug is resolved *)
-PxpUrlResolver.url_resolver#close_all ;
             docroot,Some docbody#root
     in
      CicParser2.get_term root rootbody