From a4b72e93f0a3ba72cc2d007fe83e00e76dab0607 Mon Sep 17 00:00:00 2001
From: Zikai Liu <zikai.liu@inf.ethz.ch>
Date: Tue, 20 Feb 2024 11:39:29 +0100
Subject: [PATCH] Fix by renaming string_of_int to dec_str

See sail-riscv f0df2cd.
---
 src/cheri_regs.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cheri_regs.sail b/src/cheri_regs.sail
index 57b09d8..17d3a7c 100644
--- a/src/cheri_regs.sail
+++ b/src/cheri_regs.sail
@@ -143,7 +143,7 @@ function wC (r, v) = {
   if (r != 0) then {
      rvfi_wX(r, v.address);
      if get_config_print_reg() then
-       print_reg("x" ^ string_of_int(r) ^ " <- " ^ RegStr(v));
+       print_reg("x" ^ dec_str(r) ^ " <- " ^ RegStr(v));
   }
 }