From ab1e5d1f9180daa64924b0b398300cd311611045 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Sun, 14 Dec 2014 12:01:59 +0100
Subject: Util.un_op -> Option.default

---
 lib/util.ml  | 5 -----
 lib/util.mli | 4 ----
 2 files changed, 9 deletions(-)

(limited to 'lib')

diff --git a/lib/util.ml b/lib/util.ml
index cfb4ebabc2..531e4fe7d6 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -105,11 +105,6 @@ let app_opt f x =
   | Some f -> f x
   | None -> x
 
-let un_opt x default =
-  match x with
-  | None -> default
-  | Some y -> y
-
 (* Stream *)
 
 let stream_nth n st =
diff --git a/lib/util.mli b/lib/util.mli
index bcb1b62651..86720fe471 100644
--- a/lib/util.mli
+++ b/lib/util.mli
@@ -89,10 +89,6 @@ val iterate : ('a -> 'a) -> int -> 'a -> 'a
 val repeat : int -> ('a -> unit) -> 'a -> unit
 val app_opt : ('a -> 'a) option -> 'a -> 'a
 
-(** [un_opt opt default] returns the content of [opt] if possible and
-    default otherwise. *)
-val un_opt : 'a option -> 'a -> 'a
-
 (** {6 Delayed computations. } *)
 
 type 'a delayed = unit -> 'a
-- 
cgit v1.2.3