diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-09-25 17:08:40 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-09-25 17:08:40 +0000 |
| commit | 109284996763bb778b07325386110ea5095cd82d (patch) | |
| tree | 739940796b9cb47d4181c504b044dd1764ed724f /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 551c7183f8ae46c4b4fd0237acbdc937670bf74a (diff) | |
| download | rust-109284996763bb778b07325386110ea5095cd82d.tar.gz rust-109284996763bb778b07325386110ea5095cd82d.zip | |
Use Vec::retain in remove_dead_blocks.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions