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