[PPL-devel] [GIT] ppl/ppl(master): Let ppl_unreachable_msg() print a more sensible message.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 0cab1cdf4cf2578661e4461104dcd8c26e50cbf5
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cab1cdf4cf2578661e4461104dcd8c26e50cbf5

Author: Roberto Bagnara <bagnara at 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();
 }