| ((Cic.AConst _) as he)::tl
| ((Cic.AMutInd _) as he)::tl
| ((Cic.AMutConstruct _) as he)::tl when
- CoercGraph.is_a_coercion (Deannotate.deannotate_term he) &&
+ CoercDb.is_a_coercion' (Deannotate.deannotate_term he) &&
!hide_coercions ->
let rec last =
function