diff --git a/doc/rte/rte.tex b/doc/rte/rte.tex index 8db61fe2d610d776a453f8364727b9eb9bb92af7..228c049928b7299a356944ebcf38e546b939b0ae 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