diff options
| author | Ralf Jung <post@ralfj.de> | 2024-08-14 14:30:23 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-08-14 14:30:31 +0200 |
| commit | 6eaf531432147c0359fc1d3d959ee525851e7ced (patch) | |
| tree | 0502725936708552ba4ed505354eca992d5209e7 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | fbce03b195c02e425fbb12276b8f02349048a75f (diff) | |
| download | rust-6eaf531432147c0359fc1d3d959ee525851e7ced.tar.gz rust-6eaf531432147c0359fc1d3d959ee525851e7ced.zip | |
add Box::as_ptr and Box::as_mut_ptr methods
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions