False positive on coverity #23366.

This commit is contained in:
Richard Heck 2016-06-11 23:13:01 -04:00
parent 7aa6f972da
commit 3703a0235c

View File

@ -376,6 +376,8 @@ bool InsetExternalParams::read(Buffer const & buffer, Lexer & lex)
if (lyxerr.debugging(Debug::EXTERNAL)) {
lyxerr << "InsetExternalParams::read:\n";
// false positive
// coverity[NEGATIVE_RETURNS]
write(buffer, lyxerr);
}