[PPL-devel] [GIT] ppl/ppl(master): Avoid unnamed namespace in header file.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Feb 23 20:01:53 2012 +0100

Avoid unnamed namespace in header file.
Detected by ECLAIR service hedrfile.

---

 src/initializer.hh |    8 ++------
 1 files changed, 2 insertions(+), 6 deletions(-)

diff --git a/src/initializer.hh b/src/initializer.hh
index 9e6f3c1..1e0cb6e 100644
--- a/src/initializer.hh
+++ b/src/initializer.hh
@@ -27,17 +27,13 @@ site: http://bugseng.com/products/ppl/ . */
 #include "Init.defs.hh"
 
 #ifndef PPL_NO_AUTOMATIC_INITIALIZATION
-namespace {
 
-Parma_Polyhedra_Library::Init Parma_Polyhedra_Library_initializer;
+static Parma_Polyhedra_Library::Init Parma_Polyhedra_Library_initializer;
 
-} // namespace
 #else
-namespace {
 
-Parma_Polyhedra_Library::Init* Parma_Polyhedra_Library_initializer_p;
+static Parma_Polyhedra_Library::Init* Parma_Polyhedra_Library_initializer_p;
 
-} // namespace
 #endif
 
 namespace Parma_Polyhedra_Library {