X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Facic_content%2Facic2content.ml;h=a2e7622ea6549d6ee1b87941e95daa150b126c36;hb=4480f2625fce077f7389dde595920d25748820eb;hp=23d6447863a9f9335f101d240e1edfa51ca885dd;hpb=27ce29cfef1e71c00ee19d2c00c9f425f9efb031;p=helm.git

diff --git a/components/acic_content/acic2content.ml b/components/acic_content/acic2content.ml
index 23d644786..a2e7622ea 100644
--- a/components/acic_content/acic2content.ml
+++ b/components/acic_content/acic2content.ml
@@ -805,7 +805,7 @@ and coercion seed li ~ids_to_inner_types ~ids_to_inner_sorts =
     | ((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