diff options
| author | Maybe Waffle <waffle.lapkin@gmail.com> | 2023-07-19 11:50:40 +0000 |
|---|---|---|
| committer | Maybe Waffle <waffle.lapkin@gmail.com> | 2023-07-19 12:06:31 +0000 |
| commit | 1f02c75718706d6180f9b25f55aa50f1b4ce75e1 (patch) | |
| tree | 26274a01c60443fb7007c55c309dd89e38a92b2c /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | b5d122850821f80f9496abc09840102561ec4267 (diff) | |
| download | rust-1f02c75718706d6180f9b25f55aa50f1b4ce75e1.tar.gz rust-1f02c75718706d6180f9b25f55aa50f1b4ce75e1.zip | |
Don't emit useless vptrs for marker traits
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions