diff options
| author | Daniel Eades <danieleades@hotmail.com> | 2023-01-12 10:48:10 +0000 |
|---|---|---|
| committer | Daniel Eades <danieleades@hotmail.com> | 2023-01-12 10:48:10 +0000 |
| commit | 7413a9954f2d2967f790fc634509a0850ff81769 (patch) | |
| tree | c1ad6e98f686f13d7c86e1e853c3a4ff0cc70cbd /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 09aceea36d790ecdd24d746c478e7d7421fa6b98 (diff) | |
| download | rust-7413a9954f2d2967f790fc634509a0850ff81769.tar.gz rust-7413a9954f2d2967f790fc634509a0850ff81769.zip | |
interior-mutable types should be 'static' rather than 'const
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions