/test/language/error_warning_msg/bad_ensure1.msg

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