gobo-eiffel-develop

[gobo-eiffel-develop] AP_OPTIONS - typo

[CRISMER Paul-G. <Pau...@gr...>]

	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

***** Disclaimer *****
http://www.groupes.be/1_mail-disclaimer.htm

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