/test/language/error_warning_msg/bad_assertion1.msg

 1****** Fatal Error: Keyword "end" expected at the end of check
 2clause.
 3
 4The source lines relevant to this message are the following:
 5
 6Line 14 column 10 in BAD_ASSERTION1 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_assertion1.e):
 7         check
 8         ^    
 9Line 15 column 16 in BAD_ASSERTION1 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_assertion1.e):
10            x := 3;
11               ^   
12------