Add imap display/update expressions

1 files changed, 3 insertions, 1 deletions

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 {