diff options
Diffstat (limited to 'runtime/ops/os/mod.rs')
| -rw-r--r-- | runtime/ops/os/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/ops/os/mod.rs b/runtime/ops/os/mod.rs index 83ad8164f..b2c67db5c 100644 --- a/runtime/ops/os/mod.rs +++ b/runtime/ops/os/mod.rs @@ -326,7 +326,7 @@ fn rss() -> usize { } for n in chars { idx += 1; - if ('0'..='9').contains(&n) { + if n.is_ascii_digit() { out *= 10; out += n as usize - '0' as usize; } else { |