diff options
| author |  Jason Koenig <unknown> | 2012-07-09 18:08:44 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-07-09 18:08:44 -0700 |
| commit | c0f3a8d08762275bab645d666ed6a2e566701ff4 (patch) | |
| tree | 81e5a04d9dea92a716908d79972338655e475c9e /Source/Dafny/Dafny.atg | |
| parent | 88e8eb7376303394afc55e2d3ffb6b662ba27cd5 (diff) | |
Dafny: added verification that replaced expressions are the same as the original
Diffstat (limited to 'Source/Dafny/Dafny.atg')
| -rw-r--r-- | Source/Dafny/Dafny.atg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Dafny.atg b/Source/Dafny/Dafny.atg index 958726fd..c63c5d3c 100644 --- a/Source/Dafny/Dafny.atg +++ b/Source/Dafny/Dafny.atg @@ -1504,7 +1504,7 @@ NamedExpr<out Expression e> NoUSIdent<out d>
":"
Expression<out e> (. expr = e;
- e = new NamedExpr(x, d, expr); .)
+ e = new NamedExpr(x, d.val, expr); .)
.
MatchExpression<out Expression/*!*/ e>
|