X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fxml2Gdome.ml;h=3c77c91b70ad3bd9d4804e5e67b3e358976f3ef0;hb=06c2b37f3d7d4e14cabeef3b18211e5d12b9b4eb;hp=3d07bf21cc37aaa97b9e86b1fe44d313a6ffe36c;hpb=6f65a2e518d723ea722b23bfd9fa0162ff8be457;p=helm.git

diff --git a/helm/ocaml/cic_transformations/xml2Gdome.ml b/helm/ocaml/cic_transformations/xml2Gdome.ml
index 3d07bf21c..3c77c91b7 100644
--- a/helm/ocaml/cic_transformations/xml2Gdome.ml
+++ b/helm/ocaml/cic_transformations/xml2Gdome.ml
@@ -24,6 +24,7 @@
  *)
 
 let document_of_xml (domImplementation : Gdome.domImplementation) strm =
+prerr_endline "LUCA: entro nella document_of_xml" ;
  let module G = Gdome in
  let module X = Xml in
   let rec update_namespaces ((defaultns,bindings) as namespaces) =
@@ -57,6 +58,7 @@ let document_of_xml (domImplementation : Gdome.domImplementation) strm =
     | X.NEmpty(p,n,l,c) -> p,n,l,c
     | _ -> assert false
   in
+prerr_endline "LUCA: entro nella document_of_xml interna" ;
    let namespaces = update_namespaces (None,[]) root_attributes in
    let namespaceURI = namespace_of_prefix namespaces root_prefix in
    let document =
@@ -128,6 +130,8 @@ let document_of_xml (domImplementation : Gdome.domImplementation) strm =
            ~qualifiedName:(get_qualified_name p n)
            ~value:(Gdome.domString v)
       ) root_attributes ;
+prerr_endline "LUCA: prima di aux" ;
      aux namespaces (root : Gdome.element :> Gdome.node) root_content ;
+prerr_endline "LUCA: dopo di aux" ;
      document
 ;;