diff options
| -rw-r--r-- | Binaries/DafnyRuntime.cs | 6 |
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;
|