diff options
| author | xFrednet <xFrednet@gmail.com> | 2022-06-25 14:16:31 +0200 |
|---|---|---|
| committer | xFrednet <xFrednet@gmail.com> | 2022-06-25 14:16:31 +0200 |
| commit | bdc6ece1b632324f72cfa23c8ef964fe553d5be7 (patch) | |
| tree | a6342d6fa8840bc688016a45887f2964f122cf4f /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 54ad99b6e5b46372ab4c14f700d2c74c2f246a7c (diff) | |
| download | rust-bdc6ece1b632324f72cfa23c8ef964fe553d5be7.tar.gz rust-bdc6ece1b632324f72cfa23c8ef964fe553d5be7.zip | |
Fix `#[expect]` for `clippy::needless_return`
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions