diff options
| author | Michael Goulet <michael@errs.io> | 2022-12-14 18:00:56 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2022-12-14 18:00:56 +0000 |
| commit | d0db3279ab251db3612204cc1e3f386e8beae996 (patch) | |
| tree | 7da8368d67a7f32a524e4c330b6bbce6384b1280 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | ba64ba8b0dfd57f7d6d7399d0df7ded37d2af18d (diff) | |
| download | rust-d0db3279ab251db3612204cc1e3f386e8beae996.tar.gz rust-d0db3279ab251db3612204cc1e3f386e8beae996.zip | |
Don't bug if we're trying to cast dyn* to a nother type
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions