Fix issue #60

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;