diff options
Diffstat (limited to 'model/riscv_vmem_rv32.sail')
| -rw-r--r-- | model/riscv_vmem_rv32.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_vmem_rv32.sail b/model/riscv_vmem_rv32.sail index 02f8141..b2dad82 100644 --- a/model/riscv_vmem_rv32.sail +++ b/model/riscv_vmem_rv32.sail @@ -17,7 +17,7 @@ function translationMode(priv) = { match arch { Some(RV32) => { let s = Mk_Satp32(satp[31..0]); - if s.Mode() == 0b0 then Sbare else Sv32 + if s.Mode() == 0b0 then Sbare else Sv32 }, _ => internal_error("unsupported address translation arch") } |