From dacf27235ba345b9f24e4dea9ba4e40c0eb92ad9 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Thu, 6 Jun 2019 18:43:56 +0200
Subject: [PATCH] [Doc/Eva] update section about -eva-warn-key loop-unroll

---
 doc/value/main.tex | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/doc/value/main.tex b/doc/value/main.tex
index 55070f27f5c..5e0b12f99dc 100644
--- a/doc/value/main.tex
+++ b/doc/value/main.tex
@@ -3286,9 +3286,8 @@ number of times. If the loop has not been entirely unrolled, however,
 remaining \lstinline|-eva-slevel| may be used to unroll more iterations.
 
 While it is sometimes useful to unroll only the first iterations, the usual
-objective is full unrolling; the user can enable option
-\lstinline|-value-msg-key=loop-unroll| to be informed whenever the specified
-unrolling value is insufficient to unroll the loop entirely:
+objective is full unrolling; for this reason, the user is informed whenever
+the specified unrolling value is insufficient to unroll the loop entirely:
 
 \begin{lstlisting}
 void main() {
@@ -3302,6 +3301,8 @@ void main() {
 [eva:loop-unroll] insuf-loop.c:3: loop not completely unrolled
 \end{lstlisting}
 
+The message can be deactived via \lstinline|-eva-warn-key loop-unroll=inactive|.
+
 Note that using an unrolling parameter which is higher than the actual number
 of iterations of a loop doesn't generally have an effect on the analysis.
 The analyzer will usually detect that further iterations are not useful.
-- 
GitLab