diff options
| author | Esteban Küber <esteban@kuber.com.ar> | 2024-02-13 20:19:17 +0000 |
|---|---|---|
| committer | Esteban Küber <esteban@kuber.com.ar> | 2024-02-13 20:27:43 +0000 |
| commit | 24b52fd9df22bb95de92c97407a77229ebf8102c (patch) | |
| tree | 972d30ed4fe56d336ddc89f02ddb0990437eb2e5 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | eaff1af8fdd18ee3eb05167b2836042b7d4315f6 (diff) | |
| download | rust-24b52fd9df22bb95de92c97407a77229ebf8102c.tar.gz rust-24b52fd9df22bb95de92c97407a77229ebf8102c.zip | |
Do not point at `#[allow(_)]` as the reason for compat lint triggering
Fix #121009.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions