Module: ppl/ppl Branch: master Commit: 0cab1cdf4cf2578661e4461104dcd8c26e50cbf5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cab1cdf4cf25... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Fri Apr 6 17:34:28 2012 +0200 Let ppl_unreachable_msg() print a more sensible message. --- src/assert.cc | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/assert.cc b/src/assert.cc index febd73f..284d296 100644 --- a/src/assert.cc +++ b/src/assert.cc @@ -37,8 +37,8 @@ void PPL::ppl_unreachable_msg(const char* msg, const char* file, unsigned int line, const char* function) { - std::cerr << "Aborting PPL computation!\n"; - std::cerr << file << ":" << line << ": " << function << ": " << msg << "\n"; + std::cerr << file << ":" << line << ": " << function + << ": Latent fault detected: " << msg << ".\n"; abort(); }