C.Sort C.Prop -> "Prop"
| C.Sort C.Set -> "Set"
| C.Sort C.Type -> "Type"
- | C.Sort C.CProp -> "CProp"
+ | C.Sort C.CProp -> "CProp"
+ | C.Meta _ ->
+prerr_endline "Cic2acic: string_of_sort applied to a meta" ;
+ "?"
| _ -> assert false
in
let ainnertypes,innertype,innersort,expected_available =