My bet: an INTEGER attribute is never Void, so it will never need to be initialized (it is zero by default), so the attribute body will never run. Try this instead:
feature {S6} -- was {NONE} "Feature of qualified call is not
available to client class."
secret: INTEGER = 42
Rosivaldo F Alves
--
You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/eiffel-users/ebd01226-0c6a-4ba3-9838-daf8c8f44332n%40googlegroups.com.