diff options
| author | bors <bors@rust-lang.org> | 2024-04-15 09:06:51 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-04-15 09:06:51 +0000 |
| commit | 2cbc2841d802618580e09133946c87c2ab083424 (patch) | |
| tree | 9e7254c963156a9bc92e0b68751ba53c13eb742c /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | d80df712e70a39ae8247adc61c2a5a8b5c1fc263 (diff) | |
| parent | a37c7208b06e6b6c0c77362cfe3ca2c6908ee17c (diff) | |
| download | rust-2cbc2841d802618580e09133946c87c2ab083424.tar.gz rust-2cbc2841d802618580e09133946c87c2ab083424.zip | |
Auto merge of #17070 - Veykril:simplify, r=Veykril
internal: Remove unnecessay `GlobalState::send_hint_refresh_query` field
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions