From 37cf41094924998548a8c7d3423d4b63da3fb482 Mon Sep 17 00:00:00 2001
From: chrishaw <unknown>
Date: Fri, 27 Feb 2015 21:38:43 -0800
Subject: Add imap display/update expressions

---
 Source/Dafny/DafnyAst.cs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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

diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs
index a4f078bc..d97de354 100644
--- a/Source/Dafny/DafnyAst.cs
+++ b/Source/Dafny/DafnyAst.cs
@@ -5561,11 +5561,13 @@ namespace Microsoft.Dafny {
   }
 
   public class MapDisplayExpr : Expression {
+    public bool Finite;
     public List<ExpressionPair> Elements;
-    public MapDisplayExpr(IToken tok, List<ExpressionPair> elements)
+    public MapDisplayExpr(IToken tok, bool finite, List<ExpressionPair> elements)
       : base(tok) {
       Contract.Requires(tok != null);
       Contract.Requires(cce.NonNullElements(elements));
+      Finite = finite;
       Elements = elements;
     }
     public override IEnumerable<Expression> SubExpressions {
-- 
cgit v1.2.3