X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Fxml2Gdome.ml;h=c4e9445ebbe74a583225e7ea25ac3ef8de5b9558;hb=bac72fcaa876137ab7a5630e0c1badc2a627dce8;hp=8c6298d09026b93e7443f5014c6c68caa28b26d1;hpb=2dc0733271cd251aaa3edaece8a883fe691775ab;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