[PPL-devel] [GIT] ppl/ppl(master): Commented-out code removed.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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__));