diff options
| author | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2024-01-21 21:13:15 +0300 |
|---|---|---|
| committer | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2024-02-07 09:38:24 +0300 |
| commit | b247f41596bdc5f904ff9af482bac414655ac567 (patch) | |
| tree | 7d14ee9e6fd40fa8016481fe8daafbea7e0409dc /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | b168c20951d602872eb89f4b78aaa4cf7f6e2563 (diff) | |
| download | rust-b247f41596bdc5f904ff9af482bac414655ac567.tar.gz rust-b247f41596bdc5f904ff9af482bac414655ac567.zip | |
hir: Remove `fn opt_hir_id` and `fn opt_span`
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions