Try to fix nr of arguments in Message constructor

impermeable · Jan 7, 2025 · 8ba1b8b · 8ba1b8b
1 parent 7a3b8a7
commit 8ba1b8b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/exceptions.ml b/src/exceptions.ml
@@ -48,7 +48,7 @@ let info_counter = Summary.ref ~name:"info_counter" 0
 *)
 let wp_feedback_logger (fb : feedback) : unit =
   match fb.contents with
-  | Message (lvl, _, msg) ->
+  | Message (lvl, _, _, msg) ->
     (feedback_log lvl :=
       (msg) :: !(feedback_log lvl);
     info_counter := !info_counter + 1)