X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FgTopLevel%2Fxml2Gdome.ml;h=c4e9445ebbe74a583225e7ea25ac3ef8de5b9558;hb=a48c5f0f412bbb8c1d6601dd5e11e5c3746f11d5;hp=8c6298d09026b93e7443f5014c6c68caa28b26d1;hpb=4720c6af414c4a834a994fdb404fda2d0c04fc03;p=helm.git

diff --git a/helm/gTopLevel/xml2Gdome.ml b/helm/gTopLevel/xml2Gdome.ml
index 8c6298d09..c4e9445eb 100644
--- a/helm/gTopLevel/xml2Gdome.ml
+++ b/helm/gTopLevel/xml2Gdome.ml
@@ -27,6 +27,8 @@ let document_of_xml (domImplementation : Gdome.domImplementation) strm =
  let module G = Gdome in
  let module X = Xml in
   let root_name,root_attributes,root_content =
+   ignore (Stream.next strm) ; (* to skip the <?xml ...?> declaration *)
+   ignore (Stream.next strm) ; (* to skip the DOCTYPE declaration *)
    match Stream.next strm with
       X.Empty(n,l) -> n,l,[<>]
     | X.NEmpty(n,l,c) -> n,l,c