Re: [gobo-eiffel-develop] AP_OPTIONS - typo

[Bernd S. <ber...@in...>]

Fixed and test-case added.

Thanks for the report,
Bernd

On Fri, 19 Oct 2007 16:01:12 +0200, CRISMER Paul-Georges  =

<Pau...@gr...> wrote:
>
> 	disable_mandatory is
> 			-- Make the option not mandatory.
> 		do
>>>>> 			is_mandatory :=3D True
> 		ensure
> 			not_mandatory: not is_mandatory
> 		end
>
>  is_mandatory should be set to True
>
> Best regards,
>
> Paul G. Crismer