From 3449cbd555fc4c7eadb584eca5df10b5d1d41dc8 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Thu, 6 Oct 2016 09:35:28 -0700
Subject: [PATCH] [checkers] update timestamp when storing checkers summary

Reviewed By: jeremydubreil

Differential Revision: D3977757

fbshipit-source-id: 8c12a90
---
 infer/src/checkers/summary.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/infer/src/checkers/summary.ml b/infer/src/checkers/summary.ml
index 1f9745196..2aec274db 100644
--- a/infer/src/checkers/summary.ml
+++ b/infer/src/checkers/summary.ml
@@ -35,10 +35,10 @@ module Make (H : Helper) = struct
     match Specs.get_summary pname with
     | Some global_summary ->
         let payload = H.update_payload summary global_summary.Specs.payload in
-        Specs.add_summary pname { global_summary with payload }
+        let timestamp = global_summary.timestamp + 1 in
+        Specs.add_summary pname { global_summary with payload; timestamp; }
     | None ->
-        Printf.sprintf "Summary for %s should exist, but does not!@." (Procname.to_string pname)
-        |> failwith
+        failwithf "Summary for %a should exist, but does not!@." Procname.pp pname
 
   let read_summary tenv caller_pdesc callee_pname =
     Ondemand.analyze_proc_name tenv ~propagate_exceptions:false caller_pdesc callee_pname;