From 7b891e45eb986bc0c2790457e1630fff5794a011 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Fri, 6 Oct 2017 03:50:23 -0700
Subject: [PATCH] [thread-safety] Remove some dead code

Reviewed By: sblackshear

Differential Revision: D5985602

fbshipit-source-id: f8949a4
---
 infer/src/checkers/accessPath.ml  | 11 -----------
 infer/src/checkers/accessPath.mli |  6 ------
 2 files changed, 17 deletions(-)

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