From a417d138c0a8abc028486c20d59e4f2e82f456ef Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 12 Dec 2014 15:19:10 +0100
Subject: Searchxxx now search also the hypothesis and support goal selector.

Documentation also updated.
---
 lib/util.ml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'lib/util.ml')

diff --git a/lib/util.ml b/lib/util.ml
index 531e4fe7d6..cfb4ebabc2 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -105,6 +105,11 @@ 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 =
-- 
cgit v1.2.3