diff options
Diffstat (limited to 'Test/VSComp2010/Problem5-DoubleEndedQueue.dfy')
-rw-r--r-- | Test/VSComp2010/Problem5-DoubleEndedQueue.dfy | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Test/VSComp2010/Problem5-DoubleEndedQueue.dfy b/Test/VSComp2010/Problem5-DoubleEndedQueue.dfy index 70b38a5d..540225a1 100644 --- a/Test/VSComp2010/Problem5-DoubleEndedQueue.dfy +++ b/Test/VSComp2010/Problem5-DoubleEndedQueue.dfy @@ -166,7 +166,6 @@ class LinkedList<T> { }
static function method ReverseSeq(s: seq<T>): seq<T>
- decreases s;
{
if s == [] then [] else
ReverseSeq(s[1..]) + [s[0]]
|