diff options
| author | Robert Norton | 2016-06-07 14:06:09 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-06-07 14:08:57 +0100 |
| commit | 486ede4166e118af24b783d1efd0a667ada3b54a (patch) | |
| tree | 40d0bdea6802d4848e9e5cc8e92d13a3f388e02e /src/reporting_basic.mli | |
| parent | a0bd975bd9e12cc0434bce918c6cbd555c9f55b5 (diff) | |
Preserve padding in capability registers when converting to struct form -- this is required for copying data via (untagged) capabilities.
Diffstat (limited to 'src/reporting_basic.mli')
0 files changed, 0 insertions, 0 deletions