diff options
Diffstat (limited to 'Test/smoke/Answer')
| -rw-r--r-- | Test/smoke/Answer | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/smoke/Answer b/Test/smoke/Answer index de255422..98cff8d2 100644 --- a/Test/smoke/Answer +++ b/Test/smoke/Answer @@ -9,7 +9,7 @@ implementation b(x: int) goto anon3_Then;
anon3_Then:
- assume x < 0;
+ assume {:partition} x < 0;
y := 1;
assert false;
return;
|