diff --git a/infer/src/checkers/accessPath.ml b/infer/src/checkers/accessPath.ml index 4212c73b6..ff92b4c78 100644 --- a/infer/src/checkers/accessPath.ml +++ b/infer/src/checkers/accessPath.ml @@ -248,14 +248,3 @@ module BaseMap = PrettyPrintable.MakePPMap (struct let pp = pp_base end) - -module AccessMap = PrettyPrintable.MakePPMap (struct - type t = access - - let compare = compare_access - - let pp = pp_access -end) - -module Set = PrettyPrintable.MakePPSet (Raw) -module Map = PrettyPrintable.MakePPMap (Raw) diff --git a/infer/src/checkers/accessPath.mli b/infer/src/checkers/accessPath.mli index f2896c9fc..40271467e 100644 --- a/infer/src/checkers/accessPath.mli +++ b/infer/src/checkers/accessPath.mli @@ -118,9 +118,3 @@ module Abs : sig end module BaseMap : PrettyPrintable.PPMap with type key = base - -module AccessMap : PrettyPrintable.PPMap with type key = access - -module Set : PrettyPrintable.PPSet with type elt = t - -module Map : PrettyPrintable.PPMap with type key = t