X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=development%2Fcoverity_modeling.cpp;h=1e1d315b6ca976a65dc980e49e18f20b5e71673f;hb=bc76026da52c625264b1415b349d6c5885a20837;hp=14382abfd0925f32f7d08e9fcf704205bbfeae75;hpb=21ecd4528a05510c3c1c2ebbbf9d0804e041e5c9;p=lyx.git

diff --git a/development/coverity_modeling.cpp b/development/coverity_modeling.cpp
index 14382abfd0..1e1d315b6c 100644
--- a/development/coverity_modeling.cpp
+++ b/development/coverity_modeling.cpp
@@ -10,10 +10,17 @@ void doAssertWithCallstack(bool value)
 	}
 }
 
+
 // Tell coverity that this function always exits
 void doAppErr(char const * expr, char const * file, long line)
 {
 	__coverity_panic__();
 }
 
+
+void lyx_exit(int exit_code)
+{
+	__coverity_panic__();
+}
+
 }