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 /lib | |
| parent | 2527fe34a9b8d01e2245c5812441a6da2a799ad8 (diff) | |
Change context-local memory allocation to return word-aligned addresses (based on patch by Evan Danaher)
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions