The Aux argument of conclude is now of type string (used to be int).

[helm.git] / helm / ocaml / cic_omdoc / content.mli

diff --git a/helm/ocaml/cic_omdoc/content.mli b/helm/ocaml/cic_omdoc/content.mli
index 864db1800dc710b97cbe8540d569ff2fae1a03e0..813a31053df36cbccca8dda5f1fbb5633ea86313 100644 (file)
--- a/helm/ocaml/cic_omdoc/content.mli
+++ b/helm/ocaml/cic_omdoc/content.mli
@@ -112,7 +112,7 @@ and 'term conclude_item =
        }
 
 and 'term arg =
-         Aux of int
+         Aux of string
        | Premise of premise
        | Term of 'term
        | ArgProof of 'term proof