X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Facic_content%2Facic2content.mli;h=32ce688590559dc94e2e19139d18872122a96f10;hb=b65592962c5614981b20154000779805c3620075;hp=e1dfb82de1e118e8ecda4d89bb06dde1a97abc26;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/acic_content/acic2content.mli b/components/acic_content/acic2content.mli
index e1dfb82de..32ce68859 100644
--- a/components/acic_content/acic2content.mli
+++ b/components/acic_content/acic2content.mli
@@ -31,3 +31,6 @@ val annobj2content :
 
 val map_sequent :
   Cic.annconjecture -> Cic.annterm Content.conjecture
+
+val hide_coercions: bool ref
+