Add LongLength methods to Set/Map in DafnyRuntime.cs

1 files changed, 6 insertions, 0 deletions

diff --git a/Binaries/DafnyRuntime.cs b/Binaries/DafnyRuntime.cs
index 726731e3..ef6da67e 100644
--- a/Binaries/DafnyRuntime.cs
+++ b/Binaries/DafnyRuntime.cs
@@ -31,6 +31,9 @@ namespace Dafny
     public int Length {

       get { return dict.Count; }

     }

+    public long LongLength {

+      get { return dict.Count; }

+    }

     public IEnumerable<T> Elements {

       get {

         return dict.Keys;

@@ -362,6 +365,9 @@ namespace Dafny
     public int Length {

       get { return dict.Count; }

     }

+    public long LongLength {

+      get { return dict.Count; }

+    }

     public bool Equals(Map<U, V> other) {

       foreach (U u in dict.Keys) {

         V v1, v2;