diff --git a/infer/src/IR/Localise.ml b/infer/src/IR/Localise.ml index e31440cf5..e93188297 100644 --- a/infer/src/IR/Localise.ml +++ b/infer/src/IR/Localise.ml @@ -43,7 +43,6 @@ let array_out_of_bounds_l2 = from_string "ARRAY_OUT_OF_BOUNDS_L2" let array_out_of_bounds_l3 = from_string "ARRAY_OUT_OF_BOUNDS_L3" let buffer_overrun = from_string "BUFFER_OVERRUN" let checkers_access_global = from_string "CHECKERS_ACCESS_GLOBAL" -let checkers_dead_code = from_string "CHECKERS_DEAD_CODE" let checkers_immutable_cast = from_string "CHECKERS_IMMUTABLE_CAST" let checkers_print_c_call = from_string "CHECKERS_PRINT_C_CALL" let checkers_print_objc_method_calls = from_string "CHECKERS_PRINT_OBJC_METHOD_CALLS" diff --git a/infer/src/IR/Localise.mli b/infer/src/IR/Localise.mli index 5fec3e449..38afe9b98 100644 --- a/infer/src/IR/Localise.mli +++ b/infer/src/IR/Localise.mli @@ -35,7 +35,6 @@ val array_out_of_bounds_l2 : t val array_out_of_bounds_l3 : t val buffer_overrun : t val checkers_access_global : t -val checkers_dead_code : t val checkers_immutable_cast : t val checkers_print_c_call : t val checkers_print_objc_method_calls : t