1 files changed, 18 insertions, 0 deletions
diff --git a/Source/Dafny/Printer.cs b/Source/Dafny/Printer.cs
index 2c6fb96a..38ec17fc 100644
--- a/Source/Dafny/Printer.cs
+++ b/Source/Dafny/Printer.cs
@@ -881,6 +881,12 @@ namespace Microsoft.Dafny {
         PrintExpressionList(e.Elements);
         wr.Write(e is SetDisplayExpr || e is MultiSetDisplayExpr ? "}" : "]");
 
+      } else if (expr is MapDisplayExpr) {
+        MapDisplayExpr e = (MapDisplayExpr)expr;
+        wr.Write("map");
+        wr.Write("{");
+        PrintExpressionPairList(e.Elements);
+        wr.Write("}");
       } else if (expr is ExprDotName) {
         var e = (ExprDotName)expr;
         // determine if parens are needed
@@ -1259,6 +1265,18 @@ namespace Microsoft.Dafny {
         PrintExpression(e);
       }
     }
+    void PrintExpressionPairList(List<ExpressionPair> exprs) {
+      Contract.Requires(exprs != null);
+      string sep = "";
+      foreach (ExpressionPair p in exprs) {
+        Contract.Assert(p != null);
+        wr.Write(sep);
+        sep = ", ";
+        PrintExpression(p.A);
+        wr.Write(":=");
+        PrintExpression(p.B);
+      }
+    }
 
     void PrintFrameExpressionList(List<FrameExpression/*!*/>/*!*/ fexprs) {
       Contract.Requires(fexprs != null);