/test/language/error_warning_msg/bad_ensure2.msg

 1****** Warning: A routine must be ended with "end".
 2
 3Line 18 column 14 in BAD_ENSURE2 (/home/colnet/SmartEiffel/test_suite/language/error_warning_msg/bad_ensure2.e):
 4         t : = 0
 5             ^  
 6------
 7****** Fatal Error: Keyword "end" expected at the end of a class.
 8
 9Line 18 column 14 in BAD_ENSURE2 (/home/colnet/SmartEiffel/test_suite/language/error_warning_msg/bad_ensure2.e):
10         t : = 0
11             ^  
12------