From 5ee9ea9e485ffa4322da84dcf72e101e3b15ac04 Mon Sep 17 00:00:00 2001 From: Mehdi Bouaziz Date: Wed, 17 Oct 2018 05:33:22 -0700 Subject: [PATCH] Fix warning Reviewed By: da319 Differential Revision: D10423308 fbshipit-source-id: 1837a7732 --- infer/src/checkers/cost.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/checkers/cost.ml b/infer/src/checkers/cost.ml index 64a21d4c7..33a5fd1cb 100644 --- a/infer/src/checkers/cost.ml +++ b/infer/src/checkers/cost.ml @@ -81,7 +81,7 @@ module TransferFunctionsNodesBasicCost = struct CostDomain.NodeInstructionToCostMap.add key cost_atomic_instruction astate | Sil.Remove_temps _ -> ( match CFG.Node.kind node with - | Procdesc.Node.Start_node _ -> + | Procdesc.Node.Start_node -> CostDomain.NodeInstructionToCostMap.add key cost_atomic_instruction astate | _ -> astate )