diff options
| author | David Tolnay <dtolnay@gmail.com> | 2023-10-22 12:21:51 -0700 |
|---|---|---|
| committer | David Tolnay <dtolnay@gmail.com> | 2023-10-22 12:36:35 -0700 |
| commit | f5429a018665d59f16bfbfc8b64282b3f8c18207 (patch) | |
| tree | 913c73f5a4d456835468a29e1fafd410b4ea2318 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 3c92dcc6f323e96054d16d5d225f46fdad4ce5b8 (diff) | |
| download | rust-f5429a018665d59f16bfbfc8b64282b3f8c18207.tar.gz rust-f5429a018665d59f16bfbfc8b64282b3f8c18207.zip | |
Eliminate rustc_attr::builtin::handle_errors
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions