diff --git a/infer/src/backend/DifferentialFilters.ml b/infer/src/backend/DifferentialFilters.ml
index bf604ec6f..d0ad3eca0 100644
--- a/infer/src/backend/DifferentialFilters.ml
+++ b/infer/src/backend/DifferentialFilters.ml
@@ -148,10 +148,6 @@ let skip_duplicated_types_on_filenames renamings (diff : Differential.t) : Diffe
   {introduced; fixed; preexisting; costs_summary= diff.costs_summary}
 
 
-type file_extension = string [@@deriving compare]
-
-type weak_hash = string * string * string * Caml.Digest.t [@@deriving compare]
-
 (* Strip issues whose paths are not among those we're interested in *)
 let interesting_paths_filter (interesting_paths : SourceFile.t list option) =
   match interesting_paths with