diff options
| author | Eduard-Mihai Burtescu <edy.burt@gmail.com> | 2017-12-06 14:23:32 +0200 |
|---|---|---|
| committer | Eduard-Mihai Burtescu <edy.burt@gmail.com> | 2017-12-06 14:23:32 +0200 |
| commit | 9cb6499dde3826ade463c380d495afabca7aad5c (patch) | |
| tree | 28d0de0d3dcfa5a9ece76fdb72e81cff35d2994b /src/bootstrap | |
| parent | ff6152cdc88f972f61530974b1b6fae08d9e8a7b (diff) | |
miri: don't use an associated constant for a Machine's own data.
Diffstat (limited to 'src/bootstrap')
0 files changed, 0 insertions, 0 deletions