Porting to the latest version of PXP (1.1.94).

diff --git a/helm/ocaml/cic/cicParser.ml b/helm/ocaml/cic/cicParser.ml
index cb3a064fd7db72481759ea660331cd3981298b48..38fe9e210c41787004f1f970000d88d938f121ec 100644 (file)
--- 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