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 :