diff options
Diffstat (limited to 'model/riscv_fdext_regs.sail')
-rw-r--r-- | model/riscv_fdext_regs.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_fdext_regs.sail b/model/riscv_fdext_regs.sail index d7786f3..4793486 100644 --- a/model/riscv_fdext_regs.sail +++ b/model/riscv_fdext_regs.sail @@ -261,7 +261,7 @@ function wF (r, in_v) = { if get_config_print_reg() then /* TODO: will only print bits; should we print in floating point format? */ - print_reg("f" ^ string_of_int(r) ^ " <- " ^ FRegStr(v)); + print_reg("f" ^ dec_str(r) ^ " <- " ^ FRegStr(v)); } function rF_bits(i: bits(5)) -> flenbits = rF(unsigned(i)) |