diff options
| author | Lin Yihai <linyihai@huawei.com> | 2024-07-10 10:59:33 +0800 |
|---|---|---|
| committer | Lin Yihai <linyihai@huawei.com> | 2024-07-26 10:51:55 +0800 |
| commit | 2fca4ea317f2f45a9a6f8272e52661807b100ca3 (patch) | |
| tree | 9aaa1348a58fb8a6863ccf6d52ccd4bba1f9015d /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 5be2ec7245de6e8015a0daedf24d20e3e5bf2062 (diff) | |
| download | rust-2fca4ea317f2f45a9a6f8272e52661807b100ca3.tar.gz rust-2fca4ea317f2f45a9a6f8272e52661807b100ca3.zip | |
Add a label to point to the lacking macro name definition
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions