improved coercions support:

[helm.git] / helm / software / components / acic_content / acic2content.mli

diff --git a/helm/software/components/acic_content/acic2content.mli b/helm/software/components/acic_content/acic2content.mli
index e1dfb82de1e118e8ecda4d89bb06dde1a97abc26..32ce688590559dc94e2e19139d18872122a96f10 100644 (file)
--- 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
+