X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Facic_content%2Fcontent.ml;h=c8b22f497e713cd0186d99e720ebdd93739fad5c;hb=97e7c8fb7707376c601dafe62bf872d3aa926e2e;hp=22733dcaa33248a7c03477653025ce9d34a21e9b;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/acic_content/content.ml b/components/acic_content/content.ml
index 22733dcaa..c8b22f497 100644
--- a/components/acic_content/content.ml
+++ b/components/acic_content/content.ml
@@ -127,7 +127,7 @@ and 'term arg =
          Aux of string
        | Premise of premise
        | Lemma of lemma
-       | Term of 'term
+       | Term of bool * 'term
        | ArgProof of 'term proof
        | ArgMethod of string (* ???? *)