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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 29 20:55:05 2012 +0100

Code layout fixed.

---

src/ppl-config.cc.in | 12 ++++++++---- 1 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in index e54519d..19518fe 100644 --- a/src/ppl-config.cc.in +++ b/src/ppl-config.cc.in @@ -158,14 +158,18 @@ warning(const char* format, ...) { } */

-void internal_error() __attribute__((__noreturn__)); +void +internal_error() __attribute__((__noreturn__));

-void internal_error() { +void +internal_error() { fatal("internal error: please submit a bug report to ppl-devel@cs.unipr.it"); }

-inline char to_lower(char c) { - return static_cast<char>(tolower(static_cast<int>(static_cast<unsigned char>(c)))); +inline char +to_lower(char c) { + return + static_cast<char>(tolower(static_cast<int>(static_cast<unsigned char>(c)))); }

bool