diff options
| author | ThibsG <thibsg@pm.me> | 2021-03-20 16:11:19 +0100 |
|---|---|---|
| committer | ThibsG <thibsg@pm.me> | 2021-03-20 16:11:19 +0100 |
| commit | 00a2d7ad7e1a041e47f618a019702bfb37eca680 (patch) | |
| tree | d7b7adcbd5c147fcd8453c25151b79d115be1eec /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 1d3c539fbbdddc2c0ab2c512e70f4f6ea2d37c5e (diff) | |
| download | rust-00a2d7ad7e1a041e47f618a019702bfb37eca680.tar.gz rust-00a2d7ad7e1a041e47f618a019702bfb37eca680.zip | |
Fix bad suggestion that needs curly braces for `match_single_binding` lint
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions