diff options
author | qadeer <qadeer@microsoft.com> | 2012-04-04 09:34:14 -0700 |
---|---|---|
committer | qadeer <qadeer@microsoft.com> | 2012-04-04 09:34:14 -0700 |
commit | 3ff2e42970584ad66f8b8e353ddce86dbea92baf (patch) | |
tree | b506751550be2b708766fc0eca39edddf6ddb8ef /Test/stratifiedinline/bar7.bpl | |
parent | f9d9312fa9c8e649355183e0c46e95ea6ba6e36c (diff) |
small fix
added regressions
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();
}
|