diff options
Diffstat (limited to 'risc-v')
| -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"; } |