summaryrefslogtreecommitdiff
path: root/src/vylist.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/vylist.ml')
-rw-r--r--src/vylist.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/vylist.ml b/src/vylist.ml
index c7d0396..501a275 100644
--- a/src/vylist.ml
+++ b/src/vylist.ml
@@ -8,7 +8,7 @@ let rec remove p xs =
match xs with
| [] -> []
| x :: xs' -> if (p x) then xs'
- else x :: (remove p xs)
+ else x :: (remove p xs')
let rec replace p x xs=
match xs with