log: mark 2 arguments as unused

Signed-off-by: David Scott <dave@recoil.org>
djs55 · Apr 4, 2022 · c035404 · c035404
1 parent 3a83d28
commit c035404
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/bin/logging.ml b/src/bin/logging.ml
@@ -57,7 +57,7 @@ let reporter =
       k ()
     in
     let src = Logs.Src.name src in
-    msgf @@ fun ?header ?tags fmt ->
+    msgf @@ fun ?header:_ ?tags:_ fmt ->
       let level = Logs.level_to_string (Some level) in
       with_lock m
         (fun () ->