diff options
Diffstat (limited to 'model/riscv_regs.sail')
| -rw-r--r-- | model/riscv_regs.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_regs.sail b/model/riscv_regs.sail index 7890a11..aa1d5e6 100644 --- a/model/riscv_regs.sail +++ b/model/riscv_regs.sail @@ -204,7 +204,7 @@ function wX (r, in_v) = { if (r != 0) then { rvfi_wX(r, in_v); if get_config_print_reg() - then print_reg("x" ^ string_of_int(r) ^ " <- " ^ RegStr(v)); + then print_reg("x" ^ dec_str(r) ^ " <- " ^ RegStr(v)); } } |