X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2Fcontent.ml;h=a09e25cf2b3b46323192d4744e28fcaa95be7d4a;hp=2f956d7d11a7aa59a026173900808112c38cc6cc;hb=c43f710f5e23e940114b1623329f650814e783af;hpb=a70ce8d5659ab5cd532317e206a30da878ff8a89

diff --git a/helm/ocaml/cic_omdoc/content.ml b/helm/ocaml/cic_omdoc/content.ml
index 2f956d7d1..a09e25cf2 100644
--- a/helm/ocaml/cic_omdoc/content.ml
+++ b/helm/ocaml/cic_omdoc/content.ml
@@ -121,7 +121,7 @@ and 'term conclude_item =
        }
 
 and 'term arg =
-         Aux of int
+         Aux of string
        | Premise of premise
        | Term of 'term
        | ArgProof of 'term proof