From 5741dbf2a5768c9a901b47d2973849ee2b71efa9 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Wed, 11 Oct 2017 09:41:52 -0700 Subject: [PATCH] [infer][java] remove unused list of dynamic dispatch policies Summary: cleanup Reviewed By: jvillard Differential Revision: D6029453 fbshipit-source-id: 15cea24 --- infer/src/base/Config.ml | 2 -- infer/src/base/Config.mli | 2 -- 2 files changed, 4 deletions(-) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index a8a49a0d1..2fe05d6ac 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -332,8 +332,6 @@ let whitelisted_cpp_classes = ; libcxx_whitelisted_cpp_classes ; other_whitelisted_cpp_classes ] -type dynamic_dispatch_policy = [`None | `Interface | `Sound | `Lazy] - (** Compile time configuration values *) let pp_version fmt () = diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli index fa1447df2..8d08ca974 100644 --- a/infer/src/base/Config.mli +++ b/infer/src/base/Config.mli @@ -71,8 +71,6 @@ type compilation_database_dependencies = | NoDeps [@@deriving compare] -type dynamic_dispatch_policy = [`None | `Interface | `Sound | `Lazy] - val env_inside_maven : Unix.env (** Constant configuration values *)