Re: [freeelks-devel] [eiffel_software] preconditions in {ARRAY}.subcopy too strong?

[Emmanuel S. [ES] <ma...@ei...>]

> Just out of curiosity, why not simplify that precondition to this:
> 
> 	valid_bounds: start_pos <= end_pos + 1

I didn't want to change too much of the original so that we clearly see the
differences, but you are right it could be simplified.

Manu