Module: ppl/ppl Branch: master Commit: 52514333875c79ba71b0f40559c79b0430a61eaa URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52514333875c7... Author: Enea Zaffanella <zaffanella@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; }