From 13b3fc763b1d5ab070eb4583bbca342ec0582ac4 Mon Sep 17 00:00:00 2001
From: qunyanm <unknown>
Date: Fri, 6 Mar 2015 14:42:25 -0800
Subject: Fix issue #60

---
 Binaries/DafnyRuntime.cs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'Binaries/DafnyRuntime.cs')

diff --git a/Binaries/DafnyRuntime.cs b/Binaries/DafnyRuntime.cs
index dbeb6d0f..726731e3 100644
--- a/Binaries/DafnyRuntime.cs
+++ b/Binaries/DafnyRuntime.cs
@@ -28,7 +28,9 @@ namespace Dafny
         d[t] = true;
       return new Set<T>(d);
     }
-
+    public int Length {
+      get { return dict.Count; }
+    }
     public IEnumerable<T> Elements {
       get {
         return dict.Keys;
@@ -357,6 +359,9 @@ namespace Dafny
       }
       return new Map<U, V>(d);
     }
+    public int Length {
+      get { return dict.Count; }
+    }
     public bool Equals(Map<U, V> other) {
       foreach (U u in dict.Keys) {
         V v1, v2;
-- 
cgit v1.2.3