X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_content%2Fcontent.mli;h=546000330da51b7b4eaf63d5b6e8c21e63f57753;hb=10f29fdd78ee089a9a94446207b543d33d6c851c;hp=c1122b8f2b2627d67dccd9ccd3fd4a4e0643af16;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/acic_content/content.mli b/helm/software/components/acic_content/content.mli
index c1122b8f2..546000330 100644
--- a/helm/software/components/acic_content/content.mli
+++ b/helm/software/components/acic_content/content.mli
@@ -116,7 +116,7 @@ and 'term arg =
          Aux of string
        | Premise of premise
        | Lemma of lemma
-       | Term of 'term
+       | Term of bool * 'term (* inferrable, term *)
        | ArgProof of 'term proof
        | ArgMethod of string (* ???? *)