Module: ppl/ppl Branch: master Commit: 94006e208b903d4b76d83e2e8c39881835cc4103 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=94006e208b903...

Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Fri Jun 22 08:29:23 2012 +0100

Typo in documentation fixed.

---

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

diff --git a/src/Init.defs.hh b/src/Init.defs.hh index a6dfc73..12a5da5 100644 --- a/src/Init.defs.hh +++ b/src/Init.defs.hh @@ -44,7 +44,7 @@ void set_rounding_for_PPL();

This is important if the application uses floating-point computations outside the PPL. It is crucial when the application uses functions - from a mathematical library that is not guaranteed to work correctly + from a mathematical library that are not guaranteed to work correctly under all rounding modes.

After calling this function it is absolutely necessary to call