aboutsummaryrefslogtreecommitdiff
path: root/ocaml_emulator/riscv_ocaml_sim.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml_emulator/riscv_ocaml_sim.ml')
-rw-r--r--ocaml_emulator/riscv_ocaml_sim.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/ocaml_emulator/riscv_ocaml_sim.ml b/ocaml_emulator/riscv_ocaml_sim.ml
index c5b427d..814f887b9 100644
--- a/ocaml_emulator/riscv_ocaml_sim.ml
+++ b/ocaml_emulator/riscv_ocaml_sim.ml
@@ -50,8 +50,8 @@ let options = Arg.align ([("-dump-dts",
("-mtval-has-illegal-inst-bits",
Arg.Set P.config_mtval_has_illegal_inst_bits,
" mtval stores instruction bits on an illegal instruction exception");
- ("-enable-fiom",
- Arg.Set P.config_enable_fiom,
+ ("-enable-writable-fiom",
+ Arg.Set P.config_enable_writable_fiom,
" enable FIOM (Fence of I/O implies Memory) bit in menvcfg");
("-disable-rvc",
Arg.Clear P.config_enable_rvc,