summaryrefslogtreecommitdiff
path: root/Binaries
diff options
context:
space:
mode:
Diffstat (limited to 'Binaries')
-rw-r--r--Binaries/DafnyRuntime.cs6
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;