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 )