From 26bdec533c18c1f9afdae9cf67bb18db8ce94199 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 24 Jan 2012 16:41:59 +0100
Subject: Dafny: Fixed a bug in the printing of let expressions.

---
 Source/Dafny/Printer.cs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Source/Dafny/Printer.cs')

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);
-- 
cgit v1.2.3