diff options
Diffstat (limited to 'src/libstd')
| -rw-r--r-- | src/libstd/list.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libstd/list.rs b/src/libstd/list.rs index 2081a21de23..e393b42b9f2 100644 --- a/src/libstd/list.rs +++ b/src/libstd/list.rs @@ -128,7 +128,7 @@ Function: tail Returns all but the first element of a list */ -pure fn tail<T: copy>(ls: list<T>) : is_not_empty(ls) -> list<T> { +pure fn tail<T: copy>(ls: list<T>) -> list<T> { alt ls { cons(_, tl) { ret *tl; } nil { fail "list empty" } |