Module: ppl/ppl Branch: master Commit: 8d8d4194c8e1e85641fb5dfe10ec14346c48862d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d8d4194c8e1e...
Author: Roberto Bagnara bagnara@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 {