diff options
| author | Robert Norton | 2016-06-07 15:03:31 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-06-07 15:03:31 +0100 |
| commit | d65d53cecc077a1171c35fda326f30bb0b6425a3 (patch) | |
| tree | 0735887fb9be92b4d93cf76caef405d885291140 /src/reporting_basic.mli | |
| parent | 486ede4166e118af24b783d1efd0a667ada3b54a (diff) | |
Merge register access violation exception codes. ISA is evolving and is a little loose at the moment (does not specify what to do with deprecated permission bits).
Diffstat (limited to 'src/reporting_basic.mli')
0 files changed, 0 insertions, 0 deletions