diff options
| author | Lukas Wirth <lukastw97@gmail.com> | 2024-07-22 10:53:18 +0200 |
|---|---|---|
| committer | Lukas Wirth <lukastw97@gmail.com> | 2024-07-22 10:53:18 +0200 |
| commit | d30f78730ecb6037824a9a5e866abfffce501ada (patch) | |
| tree | a844f28c07203734f6231b7a4875fc849e242af2 /src/tools/miri/genmc-sys/src_cpp | |
| parent | 5236347f7c30f3c611f37db395568dd37d12fa0e (diff) | |
| download | rust-d30f78730ecb6037824a9a5e866abfffce501ada.tar.gz rust-d30f78730ecb6037824a9a5e866abfffce501ada.zip | |
Remove incorrect never! invocations
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp')
0 files changed, 0 insertions, 0 deletions