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

Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Sep 1 11:29:14 2009 +0200

Fixed an error in method linearize.

---

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

diff --git a/src/Constant_Floating_Point_Expression.inlines.hh b/src/Constant_Floating_Point_Expression.inlines.hh index 6073c59..d471190 100644 --- a/src/Constant_Floating_Point_Expression.inlines.hh +++ b/src/Constant_Floating_Point_Expression.inlines.hh @@ -50,7 +50,7 @@ const FP_Interval_Abstract_Store& store) const { FP_Interval_Type result_interval(l_bound); FP_Interval_Type result_upper_bound(u_bound); result_interval.join_assign(result_upper_bound); - FP_Linear_Form result = FP_Interval_Linear_Form(result_interval); + FP_Linear_Form result = FP_Linear_Form(result_interval); return result;

}