diff --git a/infer/src/backend/InferAnalyze.ml b/infer/src/backend/InferAnalyze.ml
index 2027feedb..3c2ec64b8 100644
--- a/infer/src/backend/InferAnalyze.ml
+++ b/infer/src/backend/InferAnalyze.ml
@@ -130,7 +130,7 @@ let main ~changed_files ~makefile =
              all_clusters)
       in
       print_legend () ;
-      if Config.per_procedure_parallelism && not (Lazy.force is_java) then (
+      if not (Lazy.force is_java) then (
         (* Java uses ZipLib which is incompatible with forking *)
         (* per-procedure parallelism *)
         L.environment_info "Per-procedure parallelism jobs: %d@." Config.jobs ;
diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml
index c80983896..87bd9a6fb 100644
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@@ -1629,11 +1629,6 @@ and patterns_skip_translation =
       "Matcher or list of matchers for names of files that should not be analyzed at all." )
 
 
-and per_procedure_parallelism =
-  CLOpt.mk_bool ~long:"per-procedure-parallelism" ~default:true
-    "Perform analysis with per-procedure parallelism. Java is not supported."
-
-
 and pmd_xml =
   CLOpt.mk_bool ~long:"pmd-xml"
     ~in_help:InferCommand.[(Run, manual_generic)]
@@ -2697,8 +2692,6 @@ and patterns_skip_implementation = match patterns_skip_implementation with k, r
 
 and patterns_skip_translation = match patterns_skip_translation with k, r -> (k, !r)
 
-and per_procedure_parallelism = !per_procedure_parallelism
-
 and pmd_xml = !pmd_xml
 
 and precondition_stats = !precondition_stats
diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli
index 224fb7a96..b887b3e8f 100644
--- a/infer/src/base/Config.mli
+++ b/infer/src/base/Config.mli
@@ -167,8 +167,6 @@ val patterns_skip_implementation : string * Yojson.Basic.json
 
 val patterns_skip_translation : string * Yojson.Basic.json
 
-val per_procedure_parallelism : bool
-
 val perf_stats_prefix : string
 
 val pp_version : Format.formatter -> unit -> unit