[PPL-devel] [GIT] ppl/ppl(floating_point): Added a Doxygen reference.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Fri May  6 11:53:53 2011 +0200

Added a Doxygen reference.

---

 src/globals.types.hh |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/src/globals.types.hh b/src/globals.types.hh
index 378348c..7be68a7 100644
--- a/src/globals.types.hh
+++ b/src/globals.types.hh
@@ -157,7 +157,8 @@ enum Bounded_Integer_Type_Overflow {
   Floating point formats known to the library.
 
   The parameters of each format are defined by a specific struct
-  in file Float.defs.hh.
+  in file Float.defs.hh.  See the section on \ref floating_point
+  "Analysis of floating point computations" for more information.
 */
 enum Floating_Point_Format {
   IEEE754_HALF,