From 6af7ddfeec6b18fb685e521863ffc5224989e0aa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 2 Apr 2020 16:55:05 +0200
Subject: [PATCH] [rte] Doc: fixes the default value of option
 -warn-special-float.

---
 doc/rte/rte.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/rte/rte.tex b/doc/rte/rte.tex
index 8db61fe2d61..228c049928b 100644
--- a/doc/rte/rte.tex
+++ b/doc/rte/rte.tex
@@ -817,7 +817,7 @@ right shift on negative values \\
 \lstinline|-warn-invalid-bool| & boolean (true) & Generate annotations for
 \lstinline|_Bool| trap representations \\
 \hline
-\lstinline|-warn-special-float| &  string: \lstinline|non-finite|, (\lstinline|nan|) or \lstinline|none|  & generate annotations when
+\lstinline|-warn-special-float| &  string: (\lstinline|non-finite|), \lstinline|nan| or \lstinline|none|  & generate annotations when
 special floats are produced: infinite floats or NaN (by default), only on NaN or never. \\
 \hline
 \lstinline|-warn-invalid-pointer| & boolean (false) & Generate annotations for
-- 
GitLab