1 files changed, 0 insertions, 5 deletions
diff --git a/lib/util.ml b/lib/util.ml
index 1025417310..6f9f9bd83f 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -441,11 +441,6 @@ let interval n m =
   in
   interval_n ([],m)
 
-
-let map_succeed f l =
-  let filter x = try Some (f x) with Failure _ -> None in
-  List.map_filter filter l 
-
 (*s Memoization *)
 
 let memo1_eq eq f =