removed unused local variable

This commit is contained in:
2013-05-15 10:54:07 +02:00
parent 1a518e4d27
commit 430b34df4f

View File

@@ -199,7 +199,6 @@ feature -- Access: Input
local local
l_input: WGI_INPUT_STREAM l_input: WGI_INPUT_STREAM
n: INTEGER n: INTEGER
s: STRING
do do
if raw_input_data_recorded and then attached raw_input_data as d then if raw_input_data_recorded and then attached raw_input_data as d then
buf.copy (d) buf.copy (d)