[PPL-devel] [GIT] ppl/ppl(master): Cosmetic changes.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Feb 17 15:37:50 2010 +0100

Cosmetic changes.

---

 tests/Polyhedron/watchdog1.cc    |    2 +-
 tests/Polyhedron/weightwatch1.cc |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/Polyhedron/watchdog1.cc b/tests/Polyhedron/watchdog1.cc
index 4e1413b..0548f52 100644
--- a/tests/Polyhedron/watchdog1.cc
+++ b/tests/Polyhedron/watchdog1.cc
@@ -41,7 +41,7 @@ class Timeout : virtual public std::exception,
 		public Parma_Polyhedra_Library::Throwable {
 public:
   const char* what() const throw() {
-    return "Timeout in watchdog1.cc";
+    return "timeout in watchdog1.cc";
   }
 
   void throw_me() const {
diff --git a/tests/Polyhedron/weightwatch1.cc b/tests/Polyhedron/weightwatch1.cc
index 3ccc030..2b55ae3 100644
--- a/tests/Polyhedron/weightwatch1.cc
+++ b/tests/Polyhedron/weightwatch1.cc
@@ -38,7 +38,7 @@ class Deterministic_Timeout
     public Parma_Polyhedra_Library::Throwable {
 public:
   const char* what() const throw() {
-    return "Deterministic timeout in weightwatch1.cc";
+    return "deterministic timeout in weightwatch1.cc";
   }
 
   void throw_me() const {