diff options
Diffstat (limited to 'utils/misc.ml')
-rw-r--r-- | utils/misc.ml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/utils/misc.ml b/utils/misc.ml index c304802fff..6d4e23b920 100644 --- a/utils/misc.ml +++ b/utils/misc.ml @@ -182,11 +182,6 @@ module Stdlib = struct module Option = struct type 'a t = 'a option - let value_default f ~default a = - match a with - | None -> default - | Some a -> f a - let print print_contents ppf t = match t with | None -> Format.pp_print_string ppf "None" @@ -242,9 +237,6 @@ module Stdlib = struct external compare : 'a -> 'a -> int = "%compare" end -let may = Option.iter -let may_map = Option.map - (* File functions *) let find_in_path path name = |