Re: [gobo-eiffel-develop] SE assertion checking more greedy

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

>>>>> "Eric" == Eric Bezault <er...@go...> writes:

    Eric> When using SE 1.2r7 with assertions turned on I get the
    Eric> following errors:

These are all fixed now.
-- 
Colin Adams
Preston Lancashire