diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2020-09-22 01:32:28 +0200 |
|---|---|---|
| committer | Matthias Krüger <matthias.krueger@famsik.de> | 2020-09-24 13:38:08 +0200 |
| commit | d7a5c574b1010360fd840f5dfc810f2aa782eac5 (patch) | |
| tree | b103d1837354dfb52b4832d22faf9635fc72c692 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 2ad46acd7fee4e193aff3fd243ca91ca092a42aa (diff) | |
| download | rust-d7a5c574b1010360fd840f5dfc810f2aa782eac5.tar.gz rust-d7a5c574b1010360fd840f5dfc810f2aa782eac5.zip | |
use std::mem::take(x) instead of std::mem::replace(x, Default::default()) (clippy::mem_replace_with_default)
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions