commit ae6e6b3e479b73fae40b0d7181aa0cc96cda3ddc
Author: Jean-Marc Lasgouttes <lasgout...@lyx.org>
Date:   Wed Mar 1 17:44:02 2017 +0100

    Try another way to signal a false positive to coverity
---
 src/TextMetrics.cpp |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/TextMetrics.cpp b/src/TextMetrics.cpp
index 87a381e..5873a28 100644
--- a/src/TextMetrics.cpp
+++ b/src/TextMetrics.cpp
@@ -482,11 +482,11 @@ bool TextMetrics::redoParagraph(pit_type const pit)
        if (text_->isMainText()) {
                if (pit == 0) {
                        pm.rows().front().dimension().asc += 20;
-                       /* coverity[copy_paste_error]: coverity thinks that we
-                        * should update pm.dim().asc below, but all the rows
-                        * heights are actually counted as part of the 
paragraph metric
-                        * descent see loop above).
+                       /* coverity thinks that we should update pm.dim().asc
+                        * below, but all the rows heights are actually counted 
as
+                        * part of the paragraph metric descent see loop above).
                         */
+                       // coverity[copy_paste_error]
                        pm.dim().des += 20;
                }
                ParagraphList const & pars = text_->paragraphs();

Reply via email to