diff options
| author | Robert Norton <rmn30@cam.ac.uk> | 2019-03-14 12:59:26 +0000 |
|---|---|---|
| committer | Robert Norton <rmn30@cam.ac.uk> | 2019-03-14 12:59:26 +0000 |
| commit | 925b2c8a0e3b0adc10d9de8dd6620450561e6c52 (patch) | |
| tree | 4bb3e885f40459cae1902f3df2807aba60c06567 /model/main.sail | |
| parent | 665d721d9b59c0a30b284b8834279d6bc5748199 (diff) | |
| download | sail-riscv-925b2c8a0e3b0adc10d9de8dd6620450561e6c52.zip sail-riscv-925b2c8a0e3b0adc10d9de8dd6620450561e6c52.tar.gz sail-riscv-925b2c8a0e3b0adc10d9de8dd6620450561e6c52.tar.bz2 | |
Use Bytes.get instead of square bracket notation. I think this is an ocaml version incompatibility.
Diffstat (limited to 'model/main.sail')
0 files changed, 0 insertions, 0 deletions