/test/language/error_warning_msg/bad_undefine2.msg

1****** Fatal Error: Cannot undefine `foo' because type ANY does
2not have `foo'.
3
4Line 6 column 22 in BAD_UNDEFINE2 (/home/colnet/SmartEiffel/test_suite/language/error_warning_msg/bad_undefine2.e):
5inherit ANY undefine foo end;
6                     ^       
7------