[PPL-devel] [GIT] ppl/ppl(master): Removed several redundant casts.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Nov  3 19:06:03 2011 +0100

Removed several redundant casts.
Detected by ECLAIR service castexpr.

---

 src/checked.cc |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/checked.cc b/src/checked.cc
index 8d4ac29..e886489 100644
--- a/src/checked.cc
+++ b/src/checked.cc
@@ -210,7 +210,7 @@ parse_number_part(std::istream& is, number_struct& num) {
     case BASE:
       if (get_digit(c, 10) >= 0) {
         if (c != '0' || !num.mantissa.empty())
-          num.mantissa += (char) c;
+          num.mantissa += c;
         empty_mantissa = false;
         break;
       }
@@ -238,7 +238,7 @@ parse_number_part(std::istream& is, number_struct& num) {
     case INTEGER:
       if (get_digit(c, num.base) >= 0) {
         if (c != '0' || !num.mantissa.empty())
-          num.mantissa += (char) c;
+          num.mantissa += c;
         empty_mantissa = false;
         break;
       }
@@ -252,7 +252,7 @@ parse_number_part(std::istream& is, number_struct& num) {
       if (get_digit(c, num.base) >= 0) {
         --exponent_offset;
         if (c != '0' || !num.mantissa.empty())
-          num.mantissa += (char) c;
+          num.mantissa += c;
         empty_mantissa = false;
         break;
       }