From: Claudio Sacerdoti Coen 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/?a=commitdiff_plain;h=04d38d22679cd02229503269c3d2c6704ad9d1f3;p=helm.git 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