[gobo-eiffel-develop] [Colin Paul Adams] Re: Bug in {RX_REGULAR_EXPRESSION}.replace_all

[Colin P. A. <co...@co...>]

    Colin> I don't know if that is the correct result to return, but I
    Colin> can't think of any other at the moment.

That wasn't sufficient, as the postcondition all_matched doesn't
hold. I will have to dig deeper.
-- 
Colin Adams
Preston Lancashire