X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Futils%2Fpretty.ml;h=abcb59cf173d4746f3ef983d002c7a13c294b0bd;hp=c54d0edc526a9e0fdbed10dfe5bdbdbeffc2ab22;hb=d16314f40989a63bbd1119a9701fa44e336599ff;hpb=f93c0057cfca9610e40f9214b286174a041e422a

diff --git a/src/utils/pretty.ml b/src/utils/pretty.ml
index c54d0ed..abcb59c 100644
--- a/src/utils/pretty.ml
+++ b/src/utils/pretty.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-01-30 19:08:11 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-04 18:46:09 CET by Kim Nguyen>
 *)
 
 open Format
@@ -112,12 +112,12 @@ let strike s = combine_all combining_stroke s
 
 let mk_repeater c =
   let mk_str i = String.make i c in
-  let _table = Array.init 16 mk_str in
+  let _table = Array.init 256 mk_str in
      fun i -> try
       if i < 16 then _table.(i) else mk_str i
     with e -> print_int i; print_newline(); raise e
-let padding = mk_repeater ' '
-let line = mk_repeater '_'
+let padding i = String.make i ' '
+let line i = String.make i '_'