From 87d2f67c91fa5e1bc8c9be5d71404be370d70dd0 Mon Sep 17 00:00:00 2001 From: Mehdi Bouaziz Date: Fri, 31 Aug 2018 06:40:16 -0700 Subject: [PATCH] DifferentialFilters: removed two dead types Reviewed By: martinoluca Differential Revision: D9607902 fbshipit-source-id: ad7fdb2fd --- infer/src/backend/DifferentialFilters.ml | 4 ---- 1 file changed, 4 deletions(-) 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