diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index cc6a478c8..a9a4f5bc9 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -481,10 +481,6 @@ and rest = ~exes:CLOpt.[Toplevel;BuckCompilationDatabase] "Stop argument processing, use remaining arguments as a build command" -and absolute_paths = - CLOpt.mk_bool ~long:"absolute-paths" - ~exes:CLOpt.[Java] "Report errors using absolute paths" - and abs_struct = CLOpt.mk_int ~deprecated:["absstruct"] ~long:"abs-struct" ~default:1 ~meta:"int" "Specify abstraction level for fields of structs:\n\ @@ -1383,7 +1379,6 @@ let anon_args = IList.rev !anon_args and rest = !rest and abs_struct = !abs_struct and abs_val_orig = !abs_val -and absolute_paths = !absolute_paths and allow_specs_cleanup = !allow_specs_cleanup and analysis_path_regex_whitelist_options = IList.map (fun (a, b) -> (a, !b)) analysis_path_regex_whitelist_options diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli index b8587d3a2..40100755f 100644 --- a/infer/src/base/Config.mli +++ b/infer/src/base/Config.mli @@ -130,7 +130,6 @@ val wrappers_dir : string val anon_args : string list val rest : string list val abs_struct : int -val absolute_paths : bool val allow_specs_cleanup : bool val analysis_path_regex_whitelist : analyzer -> string list val analysis_path_regex_blacklist : analyzer -> string list