oops

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";
 }