summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2015-09-22 21:05:32 +0600
committerDaniil Baturin <daniil@baturin.org>2015-09-22 21:05:32 +0600
commit0ac5704dd7a374ee4736a5cecb063c2ab49a63ce (patch)
tree185ca7e0ec2204fa7672df7a7352222a36a1c44c /src
parent3d734a5a5f97830acc6f722de75f04edbc81d285 (diff)
downloadvyconf-0ac5704dd7a374ee4736a5cecb063c2ab49a63ce.tar.gz
vyconf-0ac5704dd7a374ee4736a5cecb063c2ab49a63ce.zip
Fix formatting in Vylist.
Diffstat (limited to 'src')
-rw-r--r--src/vylist.ml6
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