diff options
| author |  wuestholz <unknown> | 2012-01-24 16:41:59 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2012-01-24 16:41:59 +0100 |
| commit | 1058d7e8c966b521bcda4f02f448d63d823b1bf3 (patch) | |
| tree | 285e2b87d700460c1e980ac3cdbd5267d986820a /Test/dafny0/LetExpr.dfy | |
| parent | a8abac3364f9af380d9854b490426c1a3b016d97 (diff) | |
Dafny: Fixed a bug in the printing of let expressions.
Diffstat (limited to 'Test/dafny0/LetExpr.dfy')
| -rw-r--r-- | Test/dafny0/LetExpr.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/LetExpr.dfy b/Test/dafny0/LetExpr.dfy index 703813d2..48e4810b 100644 --- a/Test/dafny0/LetExpr.dfy +++ b/Test/dafny0/LetExpr.dfy @@ -1,5 +1,5 @@ method M0(n: int)
- requires var f := 100; n < f;
+ requires var f := 100; n < f; requires var t, f := true, false; (t && f) || n < 100;
{
assert n < 200;
assert 0 <= n; // error
|