path: root/Test/test20/Prog2.bpl.expect

Prog2.bpl(8,14): Error: trigger does not mention alpha, which does not occur in variables types either
1 type checking errors detected in Prog2.bpl