diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml
index 382985001..3b9465cfb 100644
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@@ -228,8 +228,6 @@ let max_widens = 10000
     1 = use the meet to generate new preconditions *)
 let meet_level = 1
 
-let multicore_dir_name = "multicore"
-
 let nsnotification_center_checker_backend = false
 
 let perf_stats_prefix = "perf_stats"
diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli
index 54e8b3381..8e00e0610 100644
--- a/infer/src/base/Config.mli
+++ b/infer/src/base/Config.mli
@@ -131,8 +131,6 @@ val models_jar : string
 
 val models_src_dir : string
 
-val multicore_dir_name : string
-
 val nsnotification_center_checker_backend : bool
 
 val os_type : os_type
diff --git a/infer/src/integration/Driver.ml b/infer/src/integration/Driver.ml
index 3543b0e0c..2fb11ff23 100644
--- a/infer/src/integration/Driver.ml
+++ b/infer/src/integration/Driver.ml
@@ -86,7 +86,6 @@ let clean_results_dir () =
         [ backend_stats_dir_name
         ; classnames_dir_name
         ; frontend_stats_dir_name
-        ; multicore_dir_name
         ; reporting_stats_dir_name ]
       in
       if flavors then common_list else captured_dir_name :: common_list