From 04d38d22679cd02229503269c3d2c6704ad9d1f3 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 24 Jun 2003 12:17:02 +0000 Subject: [PATCH] Porting to the latest version of PXP (1.1.94). --- helm/ocaml/cic/cicParser.ml | 4 ---- 1 file changed, 4 deletions(-) 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 -- 2.39.2