DifferentialFilters: removed two dead types

Reviewed By: martinoluca Differential Revision: D9607902 fbshipit-source-id: ad7fdb2fd
7 years ago · 87d2f67c91
parent d261f94624
commit 87d2f67c91
1 changed files with 0 additions and 4 deletions
--- 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