Fix warning

Reviewed By: da319 Differential Revision: D10423308 fbshipit-source-id: 1837a7732
7 years ago · 5ee9ea9e48
parent 9e724842f6
commit 5ee9ea9e48
1 changed files with 1 additions and 1 deletions
--- 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 )