From dbdfb24be484384fa075b48b35723fc3b933eda1 Mon Sep 17 00:00:00 2001
From: Jeremy Dubreil <jrm@fb.com>
Date: Tue, 16 Jan 2018 20:27:21 -0800
Subject: [PATCH] [infer] fix build

Reviewed By: sblackshear, dr-hu

Differential Revision: D6733603

fbshipit-source-id: ed22753
---
 infer/src/bufferoverrun/bufferOverrunModels.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/bufferoverrun/bufferOverrunModels.ml b/infer/src/bufferoverrun/bufferOverrunModels.ml
index b03efa6ca..22e1dc7d6 100644
--- a/infer/src/bufferoverrun/bufferOverrunModels.ml
+++ b/infer/src/bufferoverrun/bufferOverrunModels.ml
@@ -245,7 +245,7 @@ module Make (BoUtils : BufferOverrunUtils.S) = struct
 
 
     let no_model =
-      let exec pname ret _node location mem =
+      let exec pname _ret _node location mem =
         L.(debug BufferOverrun Verbose)
           "No model for %a at %a" Typ.Procname.pp pname Location.pp location ;
         mem