diff options
| author | Michael Goulet <michael@errs.io> | 2023-11-01 20:16:11 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-11-01 20:16:11 +0000 |
| commit | 6af30ec720c3a8f074b61c9003b7e63f78f148a0 (patch) | |
| tree | d1368520e5b0e77af6590de8cf33c8d59ceaa69c /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 50be22964035027398754e54cd3a497efb00f83e (diff) | |
| download | rust-6af30ec720c3a8f074b61c9003b7e63f78f148a0.tar.gz rust-6af30ec720c3a8f074b61c9003b7e63f78f148a0.zip | |
Remove a false statement from Unsize docs, add a test
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions