diff --git a/src/plugins/rte/flags.mli b/src/plugins/rte/flags.mli index b36711a37e01b07ee90e856f2847359654c8d673..adbc32c1652bba6b9432d70578c2981f6640c837 100644 --- a/src/plugins/rte/flags.mli +++ b/src/plugins/rte/flags.mli @@ -67,10 +67,10 @@ val default : ?bool_value:bool -> unit -> t -(** All flags set to [true], [@all] for [initialized] *) +(** All flags set to [true], "@all" for initialized *) val all : unit -> t -(** All flags set to [false], [empty] for [initialized] *) +(** All flags set to [false], empty for initialized *) val none : t (* -------------------------------------------------------------------------- *)