From 4e67ff6771265144d557759b248ca25964d613f7 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Fri, 17 Jun 2016 09:44:37 -0700 Subject: [PATCH] Fix bug in AttributesTable stats Summary: AttributesTable max_bucket_length was reported incorrectly. Reviewed By: jvillard Differential Revision: D3447241 fbshipit-source-id: a4e0242 --- infer/src/IR/AttributesTable.re | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/IR/AttributesTable.re b/infer/src/IR/AttributesTable.re index 0871c82c3..0736558ed 100644 --- a/infer/src/IR/AttributesTable.re +++ b/infer/src/IR/AttributesTable.re @@ -136,7 +136,7 @@ let to_json at => { [ ("num_bindings", `Int at.num_bindings), ("num_buckets", `Int at.num_buckets), - ("max_bucket_length", `Int at.num_buckets) + ("max_bucket_length", `Int at.max_bucket_length) ] @ extra_field )