diff options
| author | Samuel Moelius <sam@moeli.us> | 2022-10-26 19:31:01 -0400 |
|---|---|---|
| committer | Samuel Moelius <sam@moeli.us> | 2022-10-26 19:34:53 -0400 |
| commit | 83771c524225176616db45ebe67045a6f89b7117 (patch) | |
| tree | f63a118a6f9ae85d5ccab9ce244277a1cbceb634 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 70187c7d112414e40f877aed9787258e5770467d (diff) | |
| download | rust-83771c524225176616db45ebe67045a6f89b7117.tar.gz rust-83771c524225176616db45ebe67045a6f89b7117.zip | |
Fix `needless_borrow` false positive
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions