/test/language/error_warning_msg/bad_veen.msg

1****** Fatal Error: Must not use local variable in ensure assertions
2(VEEN).
3
4Line 16 column 14 in BAD_VEEN (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_veen.e):
5         not b;
6             ^ 
7------