diff options
| author | Tshepang Mbambo <hopsi@tuta.io> | 2025-06-21 23:26:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-21 23:26:56 +0200 |
| commit | eb86d0951ea632c68931b525775084282ceb063e (patch) | |
| tree | b6919e3083b3f93fb7ef7f5cfb981cca8be71ac0 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | ea34650916887b5075812d0f11c1d3209e7f94ab (diff) | |
| download | rust-eb86d0951ea632c68931b525775084282ceb063e.tar.gz rust-eb86d0951ea632c68931b525775084282ceb063e.zip | |
remove asm_goto feature annotation, for it is now stabilized
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions