[PPL-devel] [GIT] ppl/ppl(master): Mimic the message given by standard assert.

6 Apr 2012

Module: ppl/ppl
Branch: master
Commit: 2bb170031482313ece6815221552be0253a76deb
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bb1700314823...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Apr  6 17:15:23 2012 +0200
Mimic the message given by standard assert.
---
src/assert.cc |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/assert.cc b/src/assert.cc
index 926539c..febd73f 100644
--- a/src/assert.cc
+++ b/src/assert.cc
@@ -47,6 +47,6 @@ PPL::ppl_assertion_failed(const char* assertion_text,
                           const char* file, unsigned int line,
                           const char* function) {
   std::cerr << file << ":" << line << ": " << function
-            << ": Assertion `" << assertion_text << "' failed\n";
+            << ": Assertion `" << assertion_text << "' failed.\n";
   abort();
 }

    