diff options
| author | Jon French | 2018-09-14 15:08:30 +0100 |
|---|---|---|
| committer | Jon French | 2018-09-14 15:08:55 +0100 |
| commit | 959473a1b881729eacd993dbeee193396b031bd5 (patch) | |
| tree | f6cd18f10cddb98156b6a720e00c4b7946f94591 /src/sail.ml | |
| parent | bd7c2be6fe9cb955e25e04d59c5af089a04bcf9e (diff) | |
RISCV prelude: fix typo in ocaml extern for negate_*
Diffstat (limited to 'src/sail.ml')
0 files changed, 0 insertions, 0 deletions