[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