diff options
| author | Pavel Grigorenko <grigorenkopv@ya.ru> | 2024-02-24 16:02:17 +0300 |
|---|---|---|
| committer | Pavel Grigorenko <grigorenkopv@ya.ru> | 2024-02-24 16:02:17 +0300 |
| commit | ff187a92d84f352670a9a63e8519eac114456d38 (patch) | |
| tree | bb16e4e323011af089b5e934ca5a765216567047 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 8f359beca4e58bc3ae795a666301a8f47023044c (diff) | |
| download | rust-ff187a92d84f352670a9a63e8519eac114456d38.tar.gz rust-ff187a92d84f352670a9a63e8519eac114456d38.zip | |
library: use `addr_of!`
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions