From e3194a9577a379edd8d62c079375f56cbf0e91dd Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 27 Apr 2021 10:22:41 +0200
Subject: [PATCH] [rte] Fix doc format

---
 src/plugins/rte/flags.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/plugins/rte/flags.mli b/src/plugins/rte/flags.mli
index b36711a37e0..adbc32c1652 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
 
 (* -------------------------------------------------------------------------- *)
-- 
GitLab