removed useless local variable
This commit is contained in:
@@ -79,7 +79,6 @@ feature {NONE} -- Initialization
|
|||||||
-- One can use `map' to add new mapping
|
-- One can use `map' to add new mapping
|
||||||
local
|
local
|
||||||
f: RAW_FILE
|
f: RAW_FILE
|
||||||
s: READABLE_STRING_8
|
|
||||||
do
|
do
|
||||||
create f.make (fn)
|
create f.make (fn)
|
||||||
if f.exists and then f.is_readable then
|
if f.exists and then f.is_readable then
|
||||||
|
|||||||
Reference in New Issue
Block a user