[PPL-devel] [GIT] ppl/ppl(floating_point): Fixed erroneous declarations of namespace std inside namespace

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Thu Sep  3 16:50:54 2009 +0200

Fixed erroneous declarations of namespace std inside namespace
Parma_Polyhedra_Library.

---

 src/Difference_Floating_Point_Expression.defs.hh   |    4 ++--
 src/Division_Floating_Point_Expression.defs.hh     |    4 ++--
 ...ultiplication_Floating_Point_Expression.defs.hh |    4 ++--
 src/Sum_Floating_Point_Expression.defs.hh          |    3 +--
 4 files changed, 7 insertions(+), 8 deletions(-)

diff --git a/src/Difference_Floating_Point_Expression.defs.hh b/src/Difference_Floating_Point_Expression.defs.hh
index 51f1cdb..db19f66 100644
--- a/src/Difference_Floating_Point_Expression.defs.hh
+++ b/src/Difference_Floating_Point_Expression.defs.hh
@@ -29,8 +29,6 @@ site: http://www.cs.unipr.it/ppl/ . */
 #include "Difference_Floating_Point_Expression.types.hh"
 #include <map>
 
-namespace Parma_Polyhedra_Library {
-
 namespace std {
 
 //! Specializes <CODE>std::swap</CODE>.
@@ -45,6 +43,8 @@ void swap(Parma_Polyhedra_Library
 
 } // namespace std
 
+namespace Parma_Polyhedra_Library {
+
 template <typename FP_Interval_Type, typename FP_Format>
 class Difference_Floating_Point_Expression
   : public Floating_Point_Expression<FP_Interval_Type, FP_Format> {
diff --git a/src/Division_Floating_Point_Expression.defs.hh b/src/Division_Floating_Point_Expression.defs.hh
index 6cc0596..e20465f 100644
--- a/src/Division_Floating_Point_Expression.defs.hh
+++ b/src/Division_Floating_Point_Expression.defs.hh
@@ -29,8 +29,6 @@ site: http://www.cs.unipr.it/ppl/ . */
 #include "Division_Floating_Point_Expression.types.hh"
 #include <map>
 
-namespace Parma_Polyhedra_Library {
-
 namespace std {
 
 //! Specializes <CODE>std::swap</CODE>.
@@ -43,6 +41,8 @@ void swap(Parma_Polyhedra_Library
 
 } // namespace std
 
+namespace Parma_Polyhedra_Library {
+
 template <typename FP_Interval_Type, typename FP_Format>
 class Division_Floating_Point_Expression
   : public Floating_Point_Expression<FP_Interval_Type, FP_Format> {
diff --git a/src/Multiplication_Floating_Point_Expression.defs.hh b/src/Multiplication_Floating_Point_Expression.defs.hh
index 9b180f9..e32e992 100644
--- a/src/Multiplication_Floating_Point_Expression.defs.hh
+++ b/src/Multiplication_Floating_Point_Expression.defs.hh
@@ -29,8 +29,6 @@ site: http://www.cs.unipr.it/ppl/ . */
 #include "Multiplication_Floating_Point_Expression.types.hh"
 #include <map>
 
-namespace Parma_Polyhedra_Library {
-
 namespace std {
 
 //! Specializes <CODE>std::swap</CODE>.
@@ -45,6 +43,8 @@ void swap(Parma_Polyhedra_Library
 
 } // namespace std
 
+namespace Parma_Polyhedra_Library {
+
 template <typename FP_Interval_Type, typename FP_Format>
 class Multiplication_Floating_Point_Expression
   : public Floating_Point_Expression<FP_Interval_Type, FP_Format> {
diff --git a/src/Sum_Floating_Point_Expression.defs.hh b/src/Sum_Floating_Point_Expression.defs.hh
index 44a3752..d1193dc 100644
--- a/src/Sum_Floating_Point_Expression.defs.hh
+++ b/src/Sum_Floating_Point_Expression.defs.hh
@@ -29,8 +29,6 @@ site: http://www.cs.unipr.it/ppl/ . */
 #include "Sum_Floating_Point_Expression.types.hh"
 #include <map>
 
-namespace Parma_Polyhedra_Library {
-
 namespace std {
 
 //! Specializes <CODE>std::swap</CODE>.
@@ -43,6 +41,7 @@ void swap(Parma_Polyhedra_Library
 
 } // namespace std
 
+namespace Parma_Polyhedra_Library {
 
 template <typename FP_Interval_Type, typename FP_Format>
 class Sum_Floating_Point_Expression