Removed the patch to avoid a bug of gmetadom.

diff --git a/helm/gTopLevel/xml2Gdome.ml b/helm/gTopLevel/xml2Gdome.ml
index 43a2fc7ddfaa5199b1989143b470ac265962602d..55041995d9612968228f76185ab2c8d69321b367 100644 (file)
--- 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