[PPL-devel] [GIT] ppl/ppl(master): Typo in documentation fixed.

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at 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