From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 24 Jun 2003 12:17:02 +0000 (+0000)
Subject: Porting to the latest version of PXP (1.1.94).
X-Git-Tag: camera_ready~54
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=04d38d22679cd02229503269c3d2c6704ad9d1f3

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 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