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 /Dafny/Printer.cs | |
| parent | a8abac3364f9af380d9854b490426c1a3b016d97 (diff) | |
Dafny: Fixed a bug in the printing of let expressions.
Diffstat (limited to 'Dafny/Printer.cs')
| -rw-r--r-- | Dafny/Printer.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Dafny/Printer.cs b/Dafny/Printer.cs index f98f7cbe..9bd29da0 100644 --- a/Dafny/Printer.cs +++ b/Dafny/Printer.cs @@ -1080,6 +1080,7 @@ namespace Microsoft.Dafny { var e = (LetExpr)expr;
bool parensNeeded = !isRightmost;
if (parensNeeded) { wr.Write("("); }
+ wr.Write("var ");
string sep = "";
foreach (var v in e.Vars) {
wr.Write("{0}{1}", sep, v.Name);
|