From 61f51c3c0d66a6b47a1f47badbba432629607c42 Mon Sep 17 00:00:00 2001 From: tybor Date: Sun, 2 May 2010 01:18:53 +0200 Subject: [PATCH] Removing unused variables --- src/lib/string/string.e | 1 - 1 file changed, 1 deletion(-) diff --git a/src/lib/string/string.e b/src/lib/string/string.e index 5b3f17eab6..207068101f 100644 --- a/src/lib/string/string.e +++ b/src/lib/string/string.e @@ -264,7 +264,6 @@ feature {ANY} -- Modification: meaningful_interval: start_index <= end_index + 1 local remove_len, insert_len, difference, old_count: INTEGER - i: INTEGER; iter: ITERATOR[CHARACTER] do old_count := count remove_len := end_index - start_index + 1