lib/bufferized_ropes: Added default size of a buffer for rope leaves.

Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>

diff --git a/lib/bufferized_ropes.nit b/lib/bufferized_ropes.nit
index 8c8512a..5893e10 100644 (file)
--- a/lib/bufferized_ropes.nit
+++ b/lib/bufferized_ropes.nit
@@ -312,3 +312,6 @@ redef class RopeString
 
 end
 
+# Default size of a buffer in a rope leaf.
+fun buf_len: Int do return 200
+