Imported Upstream version 8.0pl2upstream/8.0pl2

1 files changed, 4 insertions, 2 deletions

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 ":=";