| 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) ;