X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2Fcontent.mli;h=864db1800dc710b97cbe8540d569ff2fae1a03e0;hb=e23bc37c0a5e552395e499e7b8cee8d610b8e4f4;hp=b58b84b54c62b611fe3161a5b14e1f651f9cc043;hpb=d9b059cc6ee460f5a0b0c606fd70241be49f0125;p=helm.git

diff --git a/helm/ocaml/cic_omdoc/content.mli b/helm/ocaml/cic_omdoc/content.mli
index b58b84b54..864db1800 100644
--- a/helm/ocaml/cic_omdoc/content.mli
+++ b/helm/ocaml/cic_omdoc/content.mli
@@ -25,7 +25,7 @@
 
 type id = string;;
 type joint_recursion_kind =
- [ `Recursive
+ [ `Recursive of int list (* decreasing arguments *)
  | `CoRecursive
  | `Inductive of int    (* paramsno *)
  | `CoInductive of int  (* paramsno *)