diff options
| author | Askar Safin <safinaskar@mail.ru> | 2025-02-11 10:21:17 +0300 |
|---|---|---|
| committer | Askar Safin <safinaskar@mail.ru> | 2025-02-11 10:21:17 +0300 |
| commit | 02406903b0c26440428580a4bbaf30da973c5b23 (patch) | |
| tree | 477bc2325301a608d0ae17b3efb8cb80a684870e /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 51f49d84649d27af91e9fc8f6aac319be100cecd (diff) | |
| download | rust-02406903b0c26440428580a4bbaf30da973c5b23.tar.gz rust-02406903b0c26440428580a4bbaf30da973c5b23.zip | |
compiler/rustc_data_structures/src/sync/worker_local.rs: delete "unsafe impl Sync"
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions