X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_content%2Facic2content.mli;h=32ce688590559dc94e2e19139d18872122a96f10;hb=32d3f10c1904d450ce8ea3525230acc6980a5601;hp=e1dfb82de1e118e8ecda4d89bb06dde1a97abc26;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/acic_content/acic2content.mli b/helm/software/components/acic_content/acic2content.mli
index e1dfb82de..32ce68859 100644
--- a/helm/software/components/acic_content/acic2content.mli
+++ b/helm/software/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
+