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

[Fabio (none)]

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

Author: Fabio <Fabio at C1P4.(none)>
Date:   Wed Feb 17 10:01:15 2010 +0100

Fixed a type error.

---

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

diff --git a/src/Float.inlines.hh b/src/Float.inlines.hh
index 2193353..946a1cf 100644
--- a/src/Float.inlines.hh
+++ b/src/Float.inlines.hh
@@ -82,7 +82,7 @@ float_ieee754_half::build(bool negative, mpz_t mantissa, int exponent) {
   word = mpz_get_ui(mantissa) & ((1UL << MANTISSA_BITS) - 1);
   if (negative)
     word |= SGN_MASK;
-  word |= static_cast<uint32_t>(exponent + EXPONENT_BIAS) << MANTISSA_BITS;
+  word |= static_cast<uint16_t>(exponent + EXPONENT_BIAS) << MANTISSA_BITS;
 }
 
 inline int