From 378f63dabfe9753b65f8f67ff3a9b5835223768e Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Tue, 20 May 2014 14:15:05 -0400 Subject: [PATCH] lib/ropes: use `redef` for inherited named constructors Signed-off-by: Jean Privat --- lib/standard/ropes.nit | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/standard/ropes.nit b/lib/standard/ropes.nit index 8d507a1..5758afd 100644 --- a/lib/standard/ropes.nit +++ b/lib/standard/ropes.nit @@ -332,7 +332,7 @@ class BufferRope super end - init with_string(str) + redef init with_string(str) do super end @@ -624,7 +624,7 @@ class ImmutableRope super end - init with_string(str) + redef init with_string(str) do super end @@ -869,7 +869,7 @@ private class DFSRopeLeafIterator end # Creates a new iterator on `tgt` starting at `index` - init with_index(tgt: Rope, index: Int) + redef init with_index(tgt: Rope, index: Int) do super -- 1.7.9.5