[PPL-devel] [GIT] ppl/ppl(master): Use consistently get_digit.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Thu Nov  3 16:26:45 2011 +0100

Use consistently get_digit.

---

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

diff --git a/src/checked.cc b/src/checked.cc
index d1a8aed..8d4ac29 100644
--- a/src/checked.cc
+++ b/src/checked.cc
@@ -222,7 +222,7 @@ parse_number_part(std::istream& is, number_struct& num) {
         std::string::const_iterator i;
         num.base = 0;
         for (i = num.mantissa.begin(); i != num.mantissa.end(); i++) {
-          num.base = num.base * 10 + (*i - '0');
+          num.base = num.base * 10 + get_digit(*i, 10);
           if (num.base > 36)
             goto unexpected;
         }