From dd8726f655e4fdad063baf456fcfc95f82e079cc Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 15 Oct 2004 14:09:32 +0000
Subject: [PATCH] removed some old debugging messages

---
 helm/ocaml/cic_transformations/acic2Ast.ml     | 5 +----
 helm/ocaml/cic_transformations/sequent2pres.ml | 1 -
 helm/ocaml/cic_transformations/xml2Gdome.ml    | 4 ----
 3 files changed, 1 insertion(+), 9 deletions(-)

diff --git a/helm/ocaml/cic_transformations/acic2Ast.ml b/helm/ocaml/cic_transformations/acic2Ast.ml
index 24d2e07f3..567b7f7bb 100644
--- a/helm/ocaml/cic_transformations/acic2Ast.ml
+++ b/helm/ocaml/cic_transformations/acic2Ast.ml
@@ -72,7 +72,6 @@ let ast_of_acic ids_to_inner_sorts acic =
   in
   let idref id t = Ast.AttributedTerm (`IdRef id, t) in
   let rec aux =
-prerr_endline "Acic2ast.aux";
     function
     | Cic.ARel (id,_,_,b) -> idref id (Ast.Ident (b, None))
     | Cic.AVar (id,uri,subst) ->
@@ -215,9 +214,7 @@ prerr_endline "Acic2ast.aux";
       context
 
   in
-  let res = aux acic, ids_to_uris in
-prerr_endline "/Acic2ast.aux";
-  res
+  aux acic, ids_to_uris
 
 let _ = (** fill symbol_table *)
   let add_symbol name uri =
diff --git a/helm/ocaml/cic_transformations/sequent2pres.ml b/helm/ocaml/cic_transformations/sequent2pres.ml
index 57d7d9140..afd2292ba 100644
--- a/helm/ocaml/cic_transformations/sequent2pres.ml
+++ b/helm/ocaml/cic_transformations/sequent2pres.ml
@@ -102,7 +102,6 @@ let sequent2pres ~ids_to_inner_sorts =
 *)
 
 let sequent2pres ~ids_to_inner_sorts =
-prerr_endline "Sequent2pres.sequent2pres";
   sequent2pres
     (fun annterm ->
       let (ast, ids_to_uris) as arg =
diff --git a/helm/ocaml/cic_transformations/xml2Gdome.ml b/helm/ocaml/cic_transformations/xml2Gdome.ml
index 3c77c91b7..3d07bf21c 100644
--- a/helm/ocaml/cic_transformations/xml2Gdome.ml
+++ b/helm/ocaml/cic_transformations/xml2Gdome.ml
@@ -24,7 +24,6 @@
  *)
 
 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) =
@@ -58,7 +57,6 @@ prerr_endline "LUCA: entro nella document_of_xml" ;
     | 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 =
@@ -130,8 +128,6 @@ prerr_endline "LUCA: entro nella document_of_xml interna" ;
            ~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
 ;;
-- 
2.39.2