removed some old debugging messages

[helm.git] / helm / ocaml / cic_transformations / sequent2pres.ml

diff --git a/helm/ocaml/cic_transformations/sequent2pres.ml b/helm/ocaml/cic_transformations/sequent2pres.ml
index 57d7d9140a9868d147147cd49774b0ce710732c2..afd2292ba0bfe7b8823151d2485980ca4a8b3337 100644 (file)
--- 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 =