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();