[PPL-devel] [GIT] ppl/ppl(master): Fixed float_ieee754_half:: POS_INF and float_ieee754_half::NEG_INF.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Aug 22 15:45:11 2012 +0200

Fixed float_ieee754_half::POS_INF and float_ieee754_half::NEG_INF.
They were swapped.

---

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

diff --git a/src/Float_defs.hh b/src/Float_defs.hh
index 3a4188f..1def00d 100644
--- a/src/Float_defs.hh
+++ b/src/Float_defs.hh
@@ -51,8 +51,8 @@ struct float_ieee754_half {
   uint16_t word;
   static const uint16_t SGN_MASK = 0x8000U;
   static const uint16_t EXP_MASK = 0xfc00U;
-  static const uint16_t POS_INF = 0xfc00U;
-  static const uint16_t NEG_INF = 0x7c00U;
+  static const uint16_t POS_INF = 0x7c00U;
+  static const uint16_t NEG_INF = 0xfc00U;
   static const uint16_t POS_ZERO = 0x0000U;
   static const uint16_t NEG_ZERO = 0x8000U;
   static const unsigned int BASE = 2;