diff options
Diffstat (limited to 'examples/vec.fwd')
| -rw-r--r-- | examples/vec.fwd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/vec.fwd b/examples/vec.fwd index 6950c2a..75c5b2e 100644 --- a/examples/vec.fwd +++ b/examples/vec.fwd @@ -75,7 +75,7 @@ append_vec(vec v, i64 e, (vec) ok) ok(v); } -at_vec(vec v, u64 i, (vec, &i64) ok) +at_vec(vec v, u64 i, (vec > &i64) ok) { v => [n => n, s => s, buf => buf]; guard(i < n) => { |