diff --git a/infer/src/base/costKind.ml b/infer/src/base/costKind.ml index 7b2a82158..31be5e2e4 100644 --- a/infer/src/base/costKind.ml +++ b/infer/src/base/costKind.ml @@ -53,4 +53,4 @@ type kind_spec = {kind: t; (* for non-diff analysis *) top_and_unreachable: bool let enabled_cost_kinds = [ {kind= OperationCost; top_and_unreachable= true} - ; {kind= AutoreleasepoolSize; top_and_unreachable= false} ] + ; {kind= AutoreleasepoolSize; top_and_unreachable= true} ]