Module: ppl/ppl Branch: floating_point Commit: 41a927e39c1b9ae298ade0ffd8f92d5db884c95b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41a927e39c1b9...
Author: Fabio Bossi bossi@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; }