diff options
| author | Ben Kimock <kimockb@gmail.com> | 2023-03-24 10:48:40 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-24 10:48:40 -0400 |
| commit | c9c1346874299b3dac07b3f310429c00fe91c998 (patch) | |
| tree | 8e6f7fbcd879bb0349b382193f012bbf9d587559 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 5896f8672da837e973bcabd9c415019205f3f8ef (diff) | |
| download | rust-c9c1346874299b3dac07b3f310429c00fe91c998.tar.gz rust-c9c1346874299b3dac07b3f310429c00fe91c998.zip | |
Clarify that we are doing ptr.addr() internally
Co-authored-by: Ralf Jung <post@ralfj.de>
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions