diff options
| author | León Orell Valerian Liehr <me@fmease.dev> | 2024-01-02 01:11:21 +0100 |
|---|---|---|
| committer | León Orell Valerian Liehr <me@fmease.dev> | 2024-01-02 13:49:47 +0100 |
| commit | 8f546aa495dee00326d40fe277ed5fef1f68175e (patch) | |
| tree | 27bd5fe5f081eb10f6f76173aa51e325c1ce5aa1 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | ba860344e1656eb577b0e1484cd68b16b7735a59 (diff) | |
| download | rust-8f546aa495dee00326d40fe277ed5fef1f68175e.tar.gz rust-8f546aa495dee00326d40fe277ed5fef1f68175e.zip | |
Turn a bug!() into a span_delay_bug()
No reason why this needs to be a `bug!()`.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions