From 0999d202ada861696fc89015b1049d804e6e5ef9 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Thu, 28 Nov 2019 12:41:44 -0800 Subject: [PATCH] [sledge] Remove dead List.remove Reviewed By: jvillard Differential Revision: D18736377 fbshipit-source-id: 49626e7c6 --- sledge/src/import/import.ml | 2 -- sledge/src/import/import.mli | 1 - 2 files changed, 3 deletions(-) diff --git a/sledge/src/import/import.ml b/sledge/src/import/import.ml index e38ba272f..c3e997197 100644 --- a/sledge/src/import/import.ml +++ b/sledge/src/import/import.ml @@ -212,8 +212,6 @@ module List = struct in remove_ [] xs - let remove xs x = try Some (remove_exn xs x) with Caml.Not_found -> None - let rec rev_init n ~f = if n = 0 then [] else diff --git a/sledge/src/import/import.mli b/sledge/src/import/import.mli index b8e633bda..9a483dce5 100644 --- a/sledge/src/import/import.mli +++ b/sledge/src/import/import.mli @@ -167,7 +167,6 @@ module List : sig argument, or raise [Not_found] if no such element exists. [equal] defaults to physical equality. *) - val remove : 'a list -> 'a -> 'a list option val rev_init : int -> f:(int -> 'a) -> 'a list val symmetric_diff :