From f5322fa262de3545d453891745e3c1cdaaceb5f5 Mon Sep 17 00:00:00 2001
From: Shaked Flur
Date: Wed, 27 Sep 2017 09:04:30 +0100
Subject: oops

---
 risc-v/riscv.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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";
 }
 
-- 
cgit v1.2.3