diff --git a/src/kernel_services/plugin_entry_points/plugin.ml b/src/kernel_services/plugin_entry_points/plugin.ml index 6048de1b0a82fa0d40d1a4205d38cd22201f09d9..fa721f6e1140c36d876d99914e4838afc7fcd0f3 100644 --- a/src/kernel_services/plugin_entry_points/plugin.ml +++ b/src/kernel_services/plugin_entry_points/plugin.ml @@ -734,7 +734,7 @@ struct let arg_name="k1[=s1][,...,kn[=sn]]" let help = "set warning status for category <k1> to <s1>,...,<kn> to <sn>. Use " - ^ debug_category_optname + ^ warn_category_optname ^ " help to get a list of available categories, and * to enable \ all categories. Possible statuses are inactive, feedback-once, \ once, active, error-once, error, and abort. Defaults to active"