diff options
author | 2007-04-17 14:52:44 +0000 | |
---|---|---|
committer | 2007-04-17 14:52:44 +0000 | |
commit | 8ed8928e47e345bc21ef155b12fcbc88083f8002 (patch) | |
tree | 01751bec6a942221b2f1ebcf5659e2d1bc619b2b | |
parent | e6dc3d26de0fbd4d0b09dd692432e2cd14774118 (diff) |
Retablissement de Fix dans print_pure_constr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9778 85f007b7-540e-0410-9357-904b9bb8a0f7
-rw-r--r-- | dev/top_printers.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/dev/top_printers.ml b/dev/top_printers.ml index df3835d2f..ccd3f6e21 100644 --- a/dev/top_printers.ml +++ b/dev/top_printers.ml @@ -243,8 +243,7 @@ let print_pure_constr csr = print_string "end"; close_box() | Fix ((t,i),(lna,tl,bl)) -> - print_string "Fix" -(* "("; print_int i; print_string ")"; + print_string "("; print_int i; print_string ")"; print_cut(); open_vbox 0; let rec print_fix () = @@ -256,7 +255,7 @@ let print_pure_constr csr = box_display bl.(k); close_box (); print_cut() done - in print_string"{"; print_fix(); print_string"}" *) + in print_string"{"; print_fix(); print_string"}" | CoFix(i,(lna,tl,bl)) -> print_string "CoFix("; print_int i; print_string ")"; print_cut(); |