diff options
| author | Callum Ryan <callumryan@meta.com> | 2024-10-17 05:46:11 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-17 05:46:11 -0700 |
| commit | 09f75b9862736d38d41a40c5326788d32c3c8276 (patch) | |
| tree | c51ef7cf76aab56cc18a3150edfd0923f2f3faff /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 06d261daf62620e3449ba451898c7ad9ae750f41 (diff) | |
| download | rust-09f75b9862736d38d41a40c5326788d32c3c8276.tar.gz rust-09f75b9862736d38d41a40c5326788d32c3c8276.zip | |
Add must_use to CommandExt::exec
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions