diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-05-18 18:58:50 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-05-18 18:58:50 -0400 |
commit | e0ab07716e0a5c539acfd1ea7c5b579561443aff (patch) | |
tree | 4da70d00542d62feb25cd1592699e6b1aa50463f /src/mono_env.sml | |
parent | 2527fe34a9b8d01e2245c5812441a6da2a799ad8 (diff) |
Change context-local memory allocation to return word-aligned addresses (based on patch by Evan Danaher)
Diffstat (limited to 'src/mono_env.sml')
0 files changed, 0 insertions, 0 deletions