diff options
| author | Thomas Bauereiss | 2017-05-10 11:37:12 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-05-10 11:37:12 +0100 |
| commit | 0bfa7cb591faf5e09aca2ebe87c8c0c30044bfa1 (patch) | |
| tree | 81304e1984c42c29f0b946c1ecc73f743be418c2 /mips | |
| parent | 822fc696bb9b72a30b4711d15ecca61b666e3a93 (diff) | |
Comment out duplicate definitions in cheri_types.sail
They are already defined in cheri_prelude_common.sail
Diffstat (limited to 'mips')
0 files changed, 0 insertions, 0 deletions