From cabfb9e130591e87f8f5162f3d7a7c1a74ffdcd1 Mon Sep 17 00:00:00 2001
From: chrishaw <unknown>
Date: Tue, 17 Mar 2015 16:21:48 -0700
Subject: Add LongLength methods to Set/Map in DafnyRuntime.cs

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

(limited to 'Binaries/DafnyRuntime.cs')

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;
-- 
cgit v1.2.3