[PPL-devel] [GIT] ppl/ppl(floating_point): Corrected the interface of the two-argument constructor.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Tue Sep  1 10:01:25 2009 +0200

Corrected the interface of the two-argument constructor.

---

 src/Constant_Floating_Point_Expression.defs.hh    |    4 ++--
 src/Constant_Floating_Point_Expression.inlines.hh |    3 ++-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/Constant_Floating_Point_Expression.defs.hh b/src/Constant_Floating_Point_Expression.defs.hh
index 74bb678..476b4bc 100644
--- a/src/Constant_Floating_Point_Expression.defs.hh
+++ b/src/Constant_Floating_Point_Expression.defs.hh
@@ -52,8 +52,8 @@ public:
   typedef typename
   Floating_Point_Expression<FP_Interval_Type, FP_Format>::info_type info_type;
 
-  Constant_Floating_Point_Expression(boundary_type lower_bound,
-                                     boundary_type upper_bound);
+  Constant_Floating_Point_Expression(const boundary_type lower_bound,
+                                     const boundary_type upper_bound);
 
   ~Constant_Floating_Point_Expression();
 
diff --git a/src/Constant_Floating_Point_Expression.inlines.hh b/src/Constant_Floating_Point_Expression.inlines.hh
index 3ddbf40..6073c59 100644
--- a/src/Constant_Floating_Point_Expression.inlines.hh
+++ b/src/Constant_Floating_Point_Expression.inlines.hh
@@ -30,7 +30,8 @@ namespace Parma_Polyhedra_Library {
 template <typename FP_Interval_Type, typename FP_Format>
 inline
 Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format>::
-Constant_Floating_Point_Expression(boundary_type lb, boundary_type ub) {
+Constant_Floating_Point_Expression(const boundary_type lb,
+                                   const boundary_type ub) {
   l_bound = lb;
   u_bound = ub;
 }