[PPL-devel] [GIT] ppl/ppl(floating_point): Fixed bad use of constructor.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Fri Sep  4 09:56:13 2009 +0200

Fixed bad use of constructor.

---

 src/Variable_Floating_Point_Expression.inlines.hh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/Variable_Floating_Point_Expression.inlines.hh b/src/Variable_Floating_Point_Expression.inlines.hh
index fa4eda3..b88af52 100644
--- a/src/Variable_Floating_Point_Expression.inlines.hh
+++ b/src/Variable_Floating_Point_Expression.inlines.hh
@@ -50,7 +50,7 @@ inline typename Variable_Floating_Point_Expression<FP_Interval_Type,
                                                    FP_Format>::FP_Linear_Form
 Variable_Floating_Point_Expression<FP_Interval_Type, FP_Format>
 ::linearize(const FP_Interval_Abstract_Store& store) const {
-  FP_Linear_Form result(Variable(variable_index));
+  FP_Linear_Form result = FP_Linear_Form(Variable(variable_index));
   return result;
 }