CocoR/Test1/tests/t_bad_cond.LST

Listing:

    1  MODULE TCond;
    2  VAR x : INTEGER;
    3  BEGIN WHILE x DO x := x - 1 END
*****              ^ BOOLEAN condition required
    4  END TCond.

    1 error