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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 9 19:15:34 2012 +0100

Commented-out code removed. Detected by ECLAIR service cmntdout.

---

src/ppl-config.cc.in | 13 ------------- 1 files changed, 0 insertions(+), 13 deletions(-)

diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in index 6691fd5..48265f2 100644 --- a/src/ppl-config.cc.in +++ b/src/ppl-config.cc.in @@ -145,19 +145,6 @@ fatal(const char* format, ...) { exit(1); }

-// Currently unused, but we may want to use it in the future. -/* -void -warning(const char* format, ...) { - va_list ap; - va_start(ap, format); - fprintf(stderr, "%s: Warning: ", program_name); - vfprintf(stderr, format, ap); - fprintf(stderr, "\n"); - va_end(ap); -} -*/ - void internal_error() __attribute__((__noreturn__));