From 6497f27021fec4e01f2182014f2bb1989b4707f9 Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Mon, 31 Jan 2005 14:34:14 +0000 Subject: Imported Upstream version 8.0pl2 --- dev/top_printers.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'dev') diff --git a/dev/top_printers.ml b/dev/top_printers.ml index 7f92d64c..1e314929 100644 --- a/dev/top_printers.ml +++ b/dev/top_printers.ml @@ -25,6 +25,8 @@ open Term open Termops open Clenv open Cerrors +open Constrextern +open Constrintern let _ = Constrextern.print_evar_arguments := true @@ -233,7 +235,7 @@ let print_pure_constr csr = print_cut(); open_vbox 0; let rec print_fix () = - for k = 0 to Array.length tl do + for k = 0 to Array.length tl - 1 do open_vbox 0; name_display lna.(k); print_string "/"; print_int t.(k); print_cut(); print_string ":"; @@ -247,7 +249,7 @@ let print_pure_constr csr = print_cut(); open_vbox 0; let rec print_fix () = - for k = 0 to Array.length tl do + for k = 0 to Array.length tl - 1 do open_vbox 1; name_display lna.(k); print_cut(); print_string ":"; box_display tl.(k) ; print_cut(); print_string ":="; -- cgit v1.2.3