From fb5c5c851590497e9774de7015e40749702cb2b5 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Thu, 17 Mar 2016 16:34:22 -0700
Subject: [PATCH] turning off copy-propagation

Reviewed By: jeremydubreil

Differential Revision: D3066974

fb-gh-sync-id: f7f5c51
shipit-source-id: f7f5c51
---
 infer/src/checkers/registerCheckers.ml | 1 -
 1 file changed, 1 deletion(-)

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;