/test/language/error_warning_msg/bad_loop2.msg

 1****** Error: Expression of the loop variant must be of INTEGER
 2type. (The actual BOOLEAN type is not allowed as a variant type.)
 3
 4Line 14 column 13 in BAD_LOOP2 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_loop2.e):
 5            True
 6            ^   
 7------
 8****** Fatal Error: Error in variant part of loop definition.
 9
10The source lines relevant to this message are the following:
11
12Line 14 column 13 in BAD_LOOP2 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_loop2.e):
13            True
14            ^   
15------