diff --git a/infer/src/clang/cMethod_trans.ml b/infer/src/clang/cMethod_trans.ml index 3ef0d39fe..986db2b58 100644 --- a/infer/src/clang/cMethod_trans.ml +++ b/infer/src/clang/cMethod_trans.ml @@ -203,7 +203,7 @@ let create_local_procdesc ?(set_objc_accessor_attr = false) ?(record_lambda_capt | `Protected -> Protected | `Public -> - Protected + Public in let captured_mangled = List.map