/test/language/error_warning_msg/bad_old1.msg

1****** Fatal Error: Must not use old inside some old expression
2(VAOL.2).
3
4The source lines relevant to this message are the following:
5
6Line 13 columns 30, 39 in BAD_OLD1 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_old1.e):
7         illegal_assert: i = old (1 + old i)
8                             ^        ^     
9------