From 7abc631c717b02049682caaf3db38e8994b78af8 Mon Sep 17 00:00:00 2001
From: Sungkeun Cho <scho@fb.com>
Date: Tue, 19 May 2020 09:50:52 -0700
Subject: [PATCH] [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
---
 infer/src/istd/RecencyMap.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/istd/RecencyMap.ml b/infer/src/istd/RecencyMap.ml
index ea93ee0cc..6c3412145 100644
--- 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] *)