diff --git a/src/kernel_services/plugin_entry_points/kernel.ml b/src/kernel_services/plugin_entry_points/kernel.ml
index 6f1f0afcbcc5961fbed0b37db41e370f7e412949..29233769c6adb2a6a89c9d2604dc425049cf3a9e 100644
--- a/src/kernel_services/plugin_entry_points/kernel.ml
+++ b/src/kernel_services/plugin_entry_points/kernel.ml
@@ -195,6 +195,7 @@ let wkey_acsl_extension = register_warn_category "acsl-extension"
 let wkey_cmdline = register_warn_category "cmdline"
 
 let wkey_audit = register_warn_category "audit"
+let () = set_warn_status wkey_audit Log.Werror
 
 (* ************************************************************************* *)
 (** {2 Specialised functors for building kernel parameters} *)