diff options
Diffstat (limited to 'Test/dafny0/BinaryTree.dfy')
| -rw-r--r-- | Test/dafny0/BinaryTree.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/BinaryTree.dfy b/Test/dafny0/BinaryTree.dfy index 5f56cf40..276b6c0e 100644 --- a/Test/dafny0/BinaryTree.dfy +++ b/Test/dafny0/BinaryTree.dfy @@ -48,7 +48,7 @@ class IntSet { footprint := root.footprint + {this};
}
- class method InsertHelper(x: int, n: Node) returns (m: Node)
+ static method InsertHelper(x: int, n: Node) returns (m: Node)
requires n == null || n.Valid();
modifies n.footprint;
ensures m != null && m.Valid();
|