Module: ppl/ppl Branch: floating_point Commit: ee0a91950dcdced4bc81b76daf294f4838c7c97a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee0a91950dcdc...
Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Jul 27 16:19:45 2010 +0200
Fixed a typo.
---
src/Linear_Form.templates.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/Linear_Form.templates.hh b/src/Linear_Form.templates.hh index 97f915b..fcb57c7 100644 --- a/src/Linear_Form.templates.hh +++ b/src/Linear_Form.templates.hh @@ -418,7 +418,7 @@ Linear_Form<C>::relative_error( }
C error_propagator; - // FIXME: this cast may be dangerous, + // FIXME: this cast may be dangerous. analyzer_format lb = -pow(f_base, -static_cast<analyzer_format>(f_mantissa_bits)); error_propagator.build(i_constraint(GREATER_OR_EQUAL, lb),