** UNTESTED **

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

diff --git a/helm/ocaml/cic_omdoc/content.ml b/helm/ocaml/cic_omdoc/content.ml
index be46f59610aa34341c245a6d626592d9fa8a456b..2f956d7d11a7aa59a026173900808112c38cc6cc 100644 (file)
--- 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 *)