diff options
| author | LeSeulArtichaut <leseulartichaut@gmail.com> | 2021-08-07 01:01:27 +0200 |
|---|---|---|
| committer | LeSeulArtichaut <leseulartichaut@gmail.com> | 2021-08-07 01:59:05 +0200 |
| commit | 64ff2b05b9d2d346b456a72f1b5d602081a037e2 (patch) | |
| tree | e273e62b17a8f31c440fa5f00e9ad5378681ab55 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 2dbf0c138de34d7805b9291705f2e2361324f219 (diff) | |
| download | rust-64ff2b05b9d2d346b456a72f1b5d602081a037e2.tar.gz rust-64ff2b05b9d2d346b456a72f1b5d602081a037e2.zip | |
Replace `span_to_snippet` calls with `snippet_opt` from `clippy_utils`
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions