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

diff --git a/helm/ocaml/cic_omdoc/content.ml b/helm/ocaml/cic_omdoc/content.ml
index be46f5961..2f956d7d1 100644
--- a/helm/ocaml/cic_omdoc/content.ml
+++ b/helm/ocaml/cic_omdoc/content.ml
@@ -34,7 +34,7 @@
 
 type id = string;;
 type joint_recursion_kind =
- [ `Recursive
+ [ `Recursive of int list
  | `CoRecursive
  | `Inductive of int    (* paramsno *)
  | `CoInductive of int  (* paramsno *)