diff options
Diffstat (limited to 'Test/stratifiedinline/bar7.bpl')
| -rw-r--r-- | Test/stratifiedinline/bar7.bpl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/stratifiedinline/bar7.bpl b/Test/stratifiedinline/bar7.bpl index 747510de..b28777bd 100644 --- a/Test/stratifiedinline/bar7.bpl +++ b/Test/stratifiedinline/bar7.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();
}
|