X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fsequent2pres.ml;h=afd2292ba0bfe7b8823151d2485980ca4a8b3337;hb=b41886e9d21d756279bd6a2ec3f19c17b1a64401;hp=57d7d9140a9868d147147cd49774b0ce710732c2;hpb=29969baf115afff7eb9ea9e2ca98d40ab7006dcc;p=helm.git

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 =