diff options
| author | Ben Kimock <kimockb@gmail.com> | 2024-02-09 20:22:15 -0500 |
|---|---|---|
| committer | Ben Kimock <kimockb@gmail.com> | 2024-02-09 20:22:15 -0500 |
| commit | 3d4a9f504780dd8f9ba4e7921cce8d8517c20aa6 (patch) | |
| tree | 0b59781e0dd8d550b7e1cdc2e97ca41a9e2bf702 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | f4cfd872028398da2b2d85c368c51f4d007dc6af (diff) | |
| download | rust-3d4a9f504780dd8f9ba4e7921cce8d8517c20aa6.tar.gz rust-3d4a9f504780dd8f9ba4e7921cce8d8517c20aa6.zip | |
Turn the "no saved object file in work product" ICE into a translatable fatal error
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions