diff options
| author | Alex Macleod <alex@macleod.io> | 2024-03-24 14:57:57 +0000 |
|---|---|---|
| committer | Alex Macleod <alex@macleod.io> | 2024-03-24 14:57:57 +0000 |
| commit | 2cb53473d92251a6ba2538fe034ab1ad62224ed1 (patch) | |
| tree | 5de85edf2fdeca020f11c59df60cdb004eb0c10d /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 4a52e9cc2acf102da113d1b6c712afc5fcf4db13 (diff) | |
| download | rust-2cb53473d92251a6ba2538fe034ab1ad62224ed1.tar.gz rust-2cb53473d92251a6ba2538fe034ab1ad62224ed1.zip | |
Rename `{enter,exit}_lint_attrs` to `check_attributes{,_post}`
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions