Add a `-eiffel' command line option which tells the compiler not to allow any Fine extensions to Eiffel.
Log in to post a comment.