** UNTESTED **

[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 b58b84b54c62b611fe3161a5b14e1f651f9cc043..864db1800dc710b97cbe8540d569ff2fae1a03e0 100644 (file)
--- 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 *)