aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--model/riscv_sys_control.sail2
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_sys_control.sail b/model/riscv_sys_control.sail
index 0227cae..2886273 100644
--- a/model/riscv_sys_control.sail
+++ b/model/riscv_sys_control.sail
@@ -460,7 +460,7 @@ function init_sys() -> unit = {
misa->F() = bool_to_bits(sys_enable_fdext()); /* single-precision */
misa->D() = if sizeof(xlen) == 64
then bool_to_bits(sys_enable_fdext()) /* double-precision */
- else 0b0;
+ else 0b0;
mstatus = set_mstatus_SXL(mstatus, misa.MXL());
mstatus = set_mstatus_UXL(mstatus, misa.MXL());