diff options
author | Daniil Baturin <daniil@baturin.org> | 2015-09-22 21:05:32 +0600 |
---|---|---|
committer | Daniil Baturin <daniil@baturin.org> | 2015-09-22 21:05:32 +0600 |
commit | 0ac5704dd7a374ee4736a5cecb063c2ab49a63ce (patch) | |
tree | 185ca7e0ec2204fa7672df7a7352222a36a1c44c /src | |
parent | 3d734a5a5f97830acc6f722de75f04edbc81d285 (diff) | |
download | vyconf-0ac5704dd7a374ee4736a5cecb063c2ab49a63ce.tar.gz vyconf-0ac5704dd7a374ee4736a5cecb063c2ab49a63ce.zip |
Fix formatting in Vylist.
Diffstat (limited to 'src')
-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 |