diff --git a/infer/src/backend/InferPrint.re b/infer/src/backend/InferPrint.re
index 8c5c84649..5018e1000 100644
--- a/infer/src/backend/InferPrint.re
+++ b/infer/src/backend/InferPrint.re
@@ -13,17 +13,6 @@ let module L = Logging;
 
 let module F = Format;
 
-let source_file_copy = ref None;
-
-let handle_source_file_copy_option () =>
-  switch !source_file_copy {
-  | None => ()
-  | Some source_file =>
-    let source_in_resdir = DB.source_file_in_resdir source_file;
-    F.fprintf F.std_formatter "%s@." (DB.filename_to_string source_in_resdir);
-    exit 0
-  };
-
 let print_usage_exit err_s => {
   L.stderr "Load Error: %s@.@." err_s;
   Config.print_usage_exit ()
@@ -1273,10 +1262,6 @@ let module AnalysisResults = {
           }
       )
       Config.anon_args;
-    switch Config.source_file_copy {
-    | Some s => source_file_copy := Some (DB.abs_source_file_from_path s)
-    | None => ()
-    };
     if Config.test_filtering {
       Inferconfig.test ();
       exit 0
@@ -1499,6 +1484,5 @@ let main report_csv::report_csv report_json::report_json => {
     (Summary, init_summary_format_list ())
   ];
   register_perf_stats_report ();
-  handle_source_file_copy_option ();
   print_issues formats_by_report_kind
 };
diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml
index 1070308f5..0e119c41b 100644
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@@ -1138,10 +1138,6 @@ and skip_translation_headers =
     ~exes:CLOpt.[Clang]
     ~meta:"path prefix" "Ignore headers whose path matches the given prefix"
 
-and source_file_copy =
-  CLOpt.mk_string_opt ~deprecated:["source_file_copy"] ~long:"source-file-copy"
-    ~meta:"source_file" "Print the path of the copy of source_file in the results directory"
-
 and spec_abs_level =
   CLOpt.mk_int ~deprecated:["spec_abs_level"] ~long:"spec-abs-level" ~default:1
     ~meta:"int" "Set the level of abstracting the postconditions of discovered specs:\n\
@@ -1509,7 +1505,6 @@ and show_progress_bar = !progress_bar
 and skip_analysis_in_path = !skip_analysis_in_path
 and skip_clang_analysis_in_path = !skip_clang_analysis_in_path
 and skip_translation_headers = !skip_translation_headers
-and source_file_copy = !source_file_copy
 and spec_abs_level = !spec_abs_level
 and stacktrace = !stacktrace
 and stacktraces_dir = !stacktraces_dir
diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli
index 0996272a4..4bc0f5e87 100644
--- a/infer/src/base/Config.mli
+++ b/infer/src/base/Config.mli
@@ -247,7 +247,6 @@ val show_progress_bar : bool
 val skip_analysis_in_path : string list
 val skip_clang_analysis_in_path : string list
 val skip_translation_headers : string list
-val source_file_copy : string option
 val spec_abs_level : int
 val specs_library : string list
 val stacktrace : string option