Merge pull request #480 from mshinwell/flambda_unbox-closures

GPR#480: Flambda fix: try to make Unbox_closures behave more reasonably

1 files changed, 1 insertions, 0 deletions

diff --git a/middle_end/inlining_cost.ml b/middle_end/inlining_cost.ml
index 0ee05231e4..c471cac74b 100644
--- a/middle_end/inlining_cost.ml
+++ b/middle_end/inlining_cost.ml
@@ -237,6 +237,7 @@ module Benefit = struct
   let remove_call t = { t with remove_call = t.remove_call + 1; }
   let remove_alloc t = { t with remove_alloc = t.remove_alloc + 1; }
   let remove_prim t = { t with remove_prim = t.remove_prim + 1; }
+  let remove_prims t n = { t with remove_prim = t.remove_prim + n; }
   let remove_branch t = { t with remove_branch = t.remove_branch + 1; }
   let direct_call_of_indirect t =
     { t with direct_call_of_indirect = t.direct_call_of_indirect + 1; }