1 files changed, 6 insertions, 1 deletions
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;