diff options
| author | Wesley Wiser <wwiser@gmail.com> | 2019-10-27 14:58:00 -0400 |
|---|---|---|
| committer | Wesley Wiser <wwiser@gmail.com> | 2019-11-22 20:42:25 -0500 |
| commit | 8c406dc29cd49402609700469a313735622ec80c (patch) | |
| tree | 4da987bb283587757b6f0e69fe52f5d17c170d84 /src/libstd/sys | |
| parent | f1b882b55805c342e46ee4ca3beeef1d1fa2044b (diff) | |
| download | rust-8c406dc29cd49402609700469a313735622ec80c.tar.gz rust-8c406dc29cd49402609700469a313735622ec80c.zip | |
Allow miri allocation interning to work im generic Machines
This is necessary so that the `ComstPropMachine` can intern allocations.
Diffstat (limited to 'src/libstd/sys')
0 files changed, 0 insertions, 0 deletions