X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Fxml2Gdome.ml;h=55041995d9612968228f76185ab2c8d69321b367;hb=c74012ddc6f92b87c2279e277b0aa3203dfbd0ac;hp=43a2fc7ddfaa5199b1989143b470ac265962602d;hpb=c6241821ee8246e8bad740d2da9d38e5114f9a8c;p=helm.git

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