/test/language/error_warning_msg/bad_redefine6.msg

1****** Fatal Error: Same feature name appears twice.
2
3The source lines relevant to this message are the following:
4
5Line 7 columns 17, 27 in BAD_REDEFINE6 (/home/colnet/SmartEiffel/work/lib_test3/bad_redefine6.e):
6   ANY redefine is_equal, is_equal 
7                ^         ^        
8------