diff options
| author | Prashanth Mundkur | 2018-04-09 15:50:23 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-04-09 15:50:23 -0700 |
| commit | 91bc72caff60a03775bd75962f43940856b9bcbb (patch) | |
| tree | 83b83af2881f95ea9ef5f8ea301290320b217666 /src/bitfield.ml | |
| parent | 91d9047b1cccff67a3130fc5e48dd8eadfe3bb9d (diff) | |
Better separate riscv-independent and riscv-specific parts between prelude and riscv_types.
Also remove an unused break().
Diffstat (limited to 'src/bitfield.ml')
0 files changed, 0 insertions, 0 deletions