[PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a typo.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at 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),