[review] comment and expected deferred status of KI_BUFFER.item

The feature KI_BUFFER.item has a comment which seems quite obsolete.

    item (i: INTEGER): G is
            -- Item at position `i'
        require
            i_large_enough: i >= 1
            i_small_enough: i <= count
        do
                -- TODO: This routine should be deferred, but there is
                -- a bug with ISE Eiffel 5.1.5 and 5.2 in the generated
                -- C code in finalized mode, and having this
                -- routine effective is a workaround.
        end

I think, it is now safe to remove this TODO comment, and make this
feature deferred
especially since the very old ISE Eiffel 5.1 and 5.2 are not supported
anymore in Gobo's code

Regards,
-- Jocelyn


------------------------------------------------------------------------------
This SF.net email is sponsored by:
SourcForge Community
SourceForge wants to tell your story.
http://p.sf.net/sfu/sf-spreadtheword