[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

@@ -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 () =

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 *)