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