diff options
| author | koka <koka.code@gmail.com> | 2023-01-29 03:02:23 +0900 |
|---|---|---|
| committer | koka <koka.code@gmail.com> | 2023-01-29 03:02:23 +0900 |
| commit | 1766532b20a7af11cd4cd52545a643b50a117040 (patch) | |
| tree | 16eda86e74d687d01f006465011bdc2ea2bd7b5d /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 25d455bd1728ba28c5cf6a0e044f2194a7d4d2ca (diff) | |
| download | rust-1766532b20a7af11cd4cd52545a643b50a117040.tar.gz rust-1766532b20a7af11cd4cd52545a643b50a117040.zip | |
add MANUAL_IS_ASCII_CHECK to msrv
MANUAL_IS_ASCII_CHECK uses msrvs::IS_ASCII_DIGIT and msrvs::IS_ASCII_DIGIT_CONST
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions