diff options
| author |  rustanleino <unknown> | 2011-01-11 21:21:59 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2011-01-11 21:21:59 +0000 |
| commit | 178088f3280b0353571ac392dfb85b4c1c6a523f (patch) | |
| tree | 7b72e7e3397ed6ac2cb894372b1b830cee64b4e9 /Test/VSComp2010 | |
| parent | 8478e257809ffedebdc374141b01a1687e0ae5e0 (diff) | |
Dafny: Fixed error in printing an error message. Changed "function method" to "function" in a test case.
Diffstat (limited to 'Test/VSComp2010')
| -rw-r--r-- | Test/VSComp2010/Problem5-DoubleEndedQueue.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/VSComp2010/Problem5-DoubleEndedQueue.dfy b/Test/VSComp2010/Problem5-DoubleEndedQueue.dfy index 540225a1..fdda243c 100644 --- a/Test/VSComp2010/Problem5-DoubleEndedQueue.dfy +++ b/Test/VSComp2010/Problem5-DoubleEndedQueue.dfy @@ -165,7 +165,7 @@ class LinkedList<T> { }
}
- static function method ReverseSeq(s: seq<T>): seq<T>
+ static function ReverseSeq(s: seq<T>): seq<T>
{
if s == [] then [] else
ReverseSeq(s[1..]) + [s[0]]
|