From 14c814e6fd1a1cf75184c114cac4a7ea30286e13 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 18 May 2015 22:04:40 +0200 Subject: [PATCH] another bugfix --- src/misc/printBox.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/misc/printBox.ml b/src/misc/printBox.ml index add201a3..5102d85f 100644 --- a/src/misc/printBox.ml +++ b/src/misc/printBox.ml @@ -76,7 +76,7 @@ module Output = struct ) let _ensure_line line i = - if i >= !_string_len line.bl_str + if i >= Bytes.length line.bl_str then ( let str' = Bytes.make (2 * i + 5) ' ' in Bytes.blit line.bl_str 0 str' 0 line.bl_len; @@ -119,7 +119,7 @@ module Output = struct let buf_to_lines ?(indent=0) buf = let buffer = Buffer.create (5 + buf.buf_len * 32) in for i = 0 to buf.buf_len - 1 do - for _ = 1 to indent do Buffer.add_char buffer ' ' done; + for _k = 1 to indent do Buffer.add_char buffer ' ' done; let line = buf.buf_lines.(i) in Buffer.add_substring buffer (Bytes.unsafe_to_string line.bl_str) 0 line.bl_len; Buffer.add_char buffer '\n'; @@ -128,7 +128,7 @@ module Output = struct let buf_output ?(indent=0) oc buf = for i = 0 to buf.buf_len - 1 do - for _ = 1 to indent do output_char oc ' '; done; + for _k = 1 to indent do output_char oc ' '; done; let line = buf.buf_lines.(i) in output oc line.bl_str 0 line.bl_len; output_char oc '\n';