From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Wed, 1 Mar 2017 16:44:02 +0000 (+0100)
Subject: Try another way to signal a false positive to coverity
X-Git-Tag: 2.3.0alpha1~293
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=ae6e6b3e479b73fae40b0d7181aa0cc96cda3ddc;p=features.git

Try another way to signal a false positive to coverity
---

diff --git a/src/TextMetrics.cpp b/src/TextMetrics.cpp
index 87a381eed0..5873a28175 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();