X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2Fcic2acic.ml;h=c2a832cbecf1f7ffec729324109ae9c3364eb459;hb=fdd8107cc53f5e862004aa5fcd48593ee5634234;hp=cf9760c2565dd4ae86c6ae445a1c62ee0ae88c6f;hpb=7df065750ec593fb409ae8627f81927397602b9b;p=helm.git

diff --git a/helm/ocaml/cic_omdoc/cic2acic.ml b/helm/ocaml/cic_omdoc/cic2acic.ml
index cf9760c25..c2a832cbe 100644
--- a/helm/ocaml/cic_omdoc/cic2acic.ml
+++ b/helm/ocaml/cic_omdoc/cic2acic.ml
@@ -116,7 +116,7 @@ let acic_of_cic_context' seed ids_to_terms ids_to_father_ids ids_to_inner_sorts
         | C.Sort (C.Type _) -> "Type" (* TASSI OK*)
         | C.Sort C.CProp -> "CProp"
         | C.Meta _       ->
-prerr_endline "Cic2acic: string_of_sort applied to a meta" ;
+(* prerr_endline "Cic2acic: string_of_sort applied to a meta" ; *)
            "?"
         | t              ->
 prerr_endline ("Cic2acic: string_of_sort applied to: " ^ CicPp.ppterm t) ;