diff options
Diffstat (limited to 'Test/test0/BadLabels1.bpl')
| -rw-r--r-- | Test/test0/BadLabels1.bpl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/test0/BadLabels1.bpl b/Test/test0/BadLabels1.bpl index 28fb47b8..c040ce26 100644 --- a/Test/test0/BadLabels1.bpl +++ b/Test/test0/BadLabels1.bpl @@ -28,7 +28,7 @@ procedure P1(y: int) {
K:
goto A;
- if (y % 2 == 0) {
+ if (y mod 2 == 0) {
goto L;
M:
}
|