commit 3703a0235c7929982f121c494b4601690e11ace1
Author: Richard Heck <[email protected]>
Date: Sat Jun 11 23:13:01 2016 -0400
False positive on coverity #23366.
diff --git a/src/insets/InsetExternal.cpp b/src/insets/InsetExternal.cpp
index 9b9f85c..5a7a07a 100644
--- a/src/insets/InsetExternal.cpp
+++ b/src/insets/InsetExternal.cpp
@@ -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);
}