| commit | 762266e587b15a7145ff6671a1a63aea7949d67c | [log] [tgz] |
|---|---|---|
| author | Hans Boehm <hboehm@google.com> | Mon Jul 25 13:37:09 2016 -0700 |
| committer | Hans Boehm <hboehm@google.com> | Mon Jul 25 13:37:09 2016 -0700 |
| tree | 959e46c671f675bb638e7d2b169a4f8474310d99 | |
| parent | f5170192807702c65653d2fdbeb83f23463117d8 [diff] |
Add digit separators to pre-evaluated results Bug: 30362853 I missed this one additional case in which we need to add digit separators. This fix is relatively easy, since we ignore the length added by digit separators when deciding how many digits to display. SHORT_TARGET_LENGTH is only a heuristic anyway. Change-Id: I5abed5d0d5c29a46089f619adcda3f1ecc7fe686