[gobo-eiffel-develop] Bug in GEUC-generated class

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

I've opened tracker ticket 2724679 for this bug, and I'll fix it as
outlined there, unless anyone thinks otherwise.
-- 
Colin Adams
Preston Lancashire