Avoid another indirection.
This commit is contained in:
committed by
Jocelyn Fiat
parent
876f9e02b7
commit
84a12447db
@@ -109,7 +109,7 @@ feature -- Output operation
|
|||||||
put_string (s: READABLE_STRING_8)
|
put_string (s: READABLE_STRING_8)
|
||||||
-- Send the string `s'
|
-- Send the string `s'
|
||||||
do
|
do
|
||||||
write (s)
|
output.put_string (s)
|
||||||
end
|
end
|
||||||
|
|
||||||
put_substring (s: READABLE_STRING_8; start_index, end_index: INTEGER)
|
put_substring (s: READABLE_STRING_8; start_index, end_index: INTEGER)
|
||||||
|
|||||||
Reference in New Issue
Block a user