From c74012ddc6f92b87c2279e277b0aa3203dfbd0ac Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 16 Apr 2002 11:11:39 +0000
Subject: [PATCH] Removed the patch to avoid a bug of gmetadom.

---
 helm/gTopLevel/xml2Gdome.ml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/helm/gTopLevel/xml2Gdome.ml b/helm/gTopLevel/xml2Gdome.ml
index 43a2fc7dd..55041995d 100644
--- a/helm/gTopLevel/xml2Gdome.ml
+++ b/helm/gTopLevel/xml2Gdome.ml
@@ -8,11 +8,8 @@ let document_of_xml (domImplementation : Gdome.domImplementation) strm =
     | _ -> assert false
   in
    let document =
-(*CSC: erroraccio bruttissimo in gmetadom!!! *)
-    new Gdome.document (
     domImplementation#createDocument ~namespaceURI:None
      ~qualifiedName:(Gdome.domString root_name) ~doctype:None
-    )
    in
    let rec aux (node : Gdome.node) =
     parser
-- 
2.39.2