diff options
| -rw-r--r-- | src/vylist.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/vylist.ml b/src/vylist.ml index 8ee1e19..cd4a32e 100644 --- a/src/vylist.ml +++ b/src/vylist.ml @@ -2,19 +2,19 @@ let rec find p xs = match xs with | [] -> None | y :: ys -> if (p y) then (Some y) - else find p ys + else find p ys let rec remove p xs = match xs with | [] -> [] | y :: ys -> if (p y) then ys - else y :: (remove p ys) + else y :: (remove p ys) let rec replace p x xs = match xs with | [] -> raise Not_found | y :: ys -> if (p y) then x :: ys - else y :: (replace p x ys) + else y :: (replace p x ys) let rec insert_before p x xs = match xs with |