diff --git a/infer/src/checkers/registerCheckers.ml b/infer/src/checkers/registerCheckers.ml index 29ed6f33a..0c2ada52d 100644 --- a/infer/src/checkers/registerCheckers.ml +++ b/infer/src/checkers/registerCheckers.ml @@ -27,7 +27,6 @@ let active_procedure_checkers () = Checkers.callback_check_write_to_parcel, false; Checkers.callback_find_deserialization, false; CheckTraceCallSequence.callback_check_trace_call_sequence, false; - CopyPropagation.checker, true; Dataflow.callback_test_dataflow, false; FragmentRetainsViewChecker.callback_fragment_retains_view, checkers_enabled; SqlChecker.callback_sql, false;