+ lyx::lyx_exit(1);
+}
+
+void assertion_failed_msg(char const * expr, char const * msg,
+ char const * function, char const * file, long line)
+{
+ lyxerr << "Assertion triggered in " << function
+ << " by failing check \"" << expr << "\""
+ << " with message \"" << msg << "\""
+ << " in file " << file << ":" << line << endl;
+
+ // FIXME: by default we exit here but we could also inform the user
+ // about the assertion and do the emergency cleanup without exiting.
+ // FIXME: do we have a list of exit codes defined somewhere?
+ lyx::lyx_exit(1);