diff options
Diffstat (limited to 'Test/vacid0')
| -rw-r--r-- | Test/vacid0/SparseArray.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/vacid0/SparseArray.dfy b/Test/vacid0/SparseArray.dfy index 1e54f02f..e9280a9a 100644 --- a/Test/vacid0/SparseArray.dfy +++ b/Test/vacid0/SparseArray.dfy @@ -104,7 +104,7 @@ class SparseArray<T> { }
/* The following method is here only to simulate support of arrays in Dafny */
-/*private*/ static method AllocateArray<G>(n: int) returns (arr: seq<G>)
+/*private*/ method AllocateArray<G>(n: int) returns (arr: seq<G>)
requires 0 <= n;
ensures |arr| == n;
{
|