diff options
| author |  wuestholz <unknown> | 2012-01-24 16:41:59 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2012-01-24 16:41:59 +0100 |
| commit | 26bdec533c18c1f9afdae9cf67bb18db8ce94199 (patch) | |
| tree | 25f79a0b5f93ff715685e5949034fee979934c14 /Source/Dafny/Printer.cs | |
| parent | a571ceef4b51ee58c8982fa8d395214f580b36a3 (diff) | |
Dafny: Fixed a bug in the printing of let expressions.
Diffstat (limited to 'Source/Dafny/Printer.cs')
| -rw-r--r-- | Source/Dafny/Printer.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Dafny/Printer.cs b/Source/Dafny/Printer.cs index f98f7cbe..9bd29da0 100644 --- a/Source/Dafny/Printer.cs +++ b/Source/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);
|