[pulse] Fix a bug in merge recency maps

Summary: In the previous code, `old_from_new_` was not used in the result. Reviewed By: jvillard Differential Revision: D21641385 fbshipit-source-id: 09e12e106
6 years ago · 7abc631c71
parent 4e28980c8e
commit 7abc631c71
1 changed files with 1 additions and 1 deletions
--- a/infer/src/istd/RecencyMap.ml
+++ b/infer/src/istd/RecencyMap.ml
@ -187,7 +187,7 @@ module Make
                value_opt )
        map1.old map2.old
    in
-    {count_new= !count_new; old; new_}
+    {count_new= !count_new; old= M.union (fun _k _v1 _v2 -> assert false) old_from_new_ old; new_}


  (** standard-looking implementation of [union] based on [merge] *)