diff options
Diffstat (limited to 'Test/stratifiedinline/bar8.bpl')
| -rw-r--r-- | Test/stratifiedinline/bar8.bpl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/stratifiedinline/bar8.bpl b/Test/stratifiedinline/bar8.bpl index d447e3a7..e96655f3 100644 --- a/Test/stratifiedinline/bar8.bpl +++ b/Test/stratifiedinline/bar8.bpl @@ -4,7 +4,7 @@ var m: int; procedure {:inline 1} foo()
modifies i;
{
- if (i < 80) {
+ if (i < 20) {
i := i + 1;
call foo();
}
|