summaryrefslogtreecommitdiff
path: root/utils/misc.ml
diff options
context:
space:
mode:
Diffstat (limited to 'utils/misc.ml')
-rw-r--r--utils/misc.ml8
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 =