diff options
| author | bjorn3 <bjorn3@users.noreply.github.com> | 2022-03-13 15:19:48 +0100 |
|---|---|---|
| committer | bjorn3 <bjorn3@users.noreply.github.com> | 2022-03-13 15:19:48 +0100 |
| commit | cfc1a2cd6832f62aed7be6292a89e31dc29da056 (patch) | |
| tree | 88efb7869de1ad5aa628ee8424947fff6f1e7245 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | e937265673c79fdf6d8641d38b18958d3bc06a1f (diff) | |
| download | rust-cfc1a2cd6832f62aed7be6292a89e31dc29da056.tar.gz rust-cfc1a2cd6832f62aed7be6292a89e31dc29da056.zip | |
Remove decl_macro usage
This reduces the amount of unstable features used by cg_clif
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions