diff options
Diffstat (limited to 'clib/option.ml')
| -rw-r--r-- | clib/option.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clib/option.ml b/clib/option.ml index fd88257238..17024e988b 100644 --- a/clib/option.ml +++ b/clib/option.ml @@ -200,8 +200,8 @@ module List = let rec find f = function | [] -> None | h :: t -> match f h with - | None -> find f t - | x -> x + | None -> find f t + | x -> x let map f l = let rec aux f l = match l with |