diff options
| author | Chris Denton <chris@chrisdenton.dev> | 2024-07-15 07:30:11 +0000 |
|---|---|---|
| committer | Chris Denton <chris@chrisdenton.dev> | 2024-07-15 07:30:11 +0000 |
| commit | 7e16d5fb6111fc974c5b9a2aff951f2eb07b3deb (patch) | |
| tree | 013f4670c75f897c1ac32faee970638047966d09 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 3411a025d5716967ba9bc8b259acd687998bcc40 (diff) | |
| download | rust-7e16d5fb6111fc974c5b9a2aff951f2eb07b3deb.tar.gz rust-7e16d5fb6111fc974c5b9a2aff951f2eb07b3deb.zip | |
Move safety comment outside unsafe block
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions