diff options
| author | Shaked Flur | 2017-09-27 09:04:30 +0100 |
|---|---|---|
| committer | Shaked Flur | 2017-09-27 09:04:30 +0100 |
| commit | f5322fa262de3545d453891745e3c1cdaaceb5f5 (patch) | |
| tree | 7cadb0d7f19a16fdf05f8a736b872bb134fe1ffe /risc-v/riscv.sail | |
| parent | 72e597901e710f1549d387d9c1326b04be42e9d2 (diff) | |
oops
Diffstat (limited to 'risc-v/riscv.sail')
| -rw-r--r-- | risc-v/riscv.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/risc-v/riscv.sail b/risc-v/riscv.sail index 55a672ad..ea885d90 100644 --- a/risc-v/riscv.sail +++ b/risc-v/riscv.sail @@ -62,7 +62,7 @@ function forall 'a. 'a effect { escape } not_implemented((string) message) = function unit effect { escape } check_alignment( (bit[64]) addr, (nat) width) = { - if (unsigned(addr) quot width != 0) then + if (unsigned(addr) mod width != 0) then exit "misaligned memory access"; } |