diff options
Diffstat (limited to 'printing/printer.ml')
| -rw-r--r-- | printing/printer.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/printing/printer.ml b/printing/printer.ml index 8fc38bc6c8..ac7761994b 100644 --- a/printing/printer.ml +++ b/printing/printer.ml @@ -735,7 +735,7 @@ let print_one_inductive env mib ((_,i) as ind) = brk(0,2) ++ print_constructors envpar mip.mind_consnames cstrtypes let print_mutual_inductive env mind mib = - let inds = List.tabulate (fun x -> (mind,x)) (Array.length mib.mind_packets) + let inds = List.init (Array.length mib.mind_packets) (fun x -> (mind, x)) in hov 0 ( str (if mib.mind_finite then "Inductive " else "CoInductive ") ++ |