diff options
Diffstat (limited to 'Test/VSComp2010/Problem3-FindZero.dfy')
-rw-r--r-- | Test/VSComp2010/Problem3-FindZero.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/VSComp2010/Problem3-FindZero.dfy b/Test/VSComp2010/Problem3-FindZero.dfy index 61bb2e3a..814e9067 100644 --- a/Test/VSComp2010/Problem3-FindZero.dfy +++ b/Test/VSComp2010/Problem3-FindZero.dfy @@ -56,7 +56,7 @@ class Node { }
}
-static method Search(ll: Node) returns (r: int)
+method Search(ll: Node) returns (r: int)
requires ll == null || ll.Valid();
ensures ll == null ==> r == 0;
ensures ll != null ==>
|