diff --git a/sledge/lib/import/import.ml b/sledge/lib/import/import.ml
index 79a6276df..38a4a194d 100644
--- a/sledge/lib/import/import.ml
+++ b/sledge/lib/import/import.ml
@@ -114,15 +114,6 @@ end
 module Option = Option
 include Option.Monad_infix
 include Option.Monad_syntax
-
-module Result = struct
-  include Base.Result
-
-  let pp fmt pp_elt fs = function
-    | Ok x -> Format.fprintf fs fmt pp_elt x
-    | Error _ -> ()
-end
-
 module List = List
 
 module Vector = struct
diff --git a/sledge/lib/import/import.mli b/sledge/lib/import/import.mli
index f1a596e4a..3e70758b4 100644
--- a/sledge/lib/import/import.mli
+++ b/sledge/lib/import/import.mli
@@ -107,14 +107,6 @@ module Invariant : module type of Base.Invariant
 module Option = Option
 include module type of Option.Monad_infix
 include module type of Option.Monad_syntax with type 'a t = 'a option
-
-module Result : sig
-  include module type of Base.Result
-
-  val pp : ('a_pp -> 'a -> unit, unit) fmt -> 'a_pp -> ('a, _) t pp
-  (** Pretty-print a result. *)
-end
-
 module List = List
 
 module Vector : sig