Fix by renaming string_of_int to dec_str

liuzikai · PeterRugg · commit a4b72e93f0a3 · 2024-04-26T10:51:51.000+01:00
See sail-riscv f0df2cd.
diff --git 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));
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -143,7 +143,7 @@ function wC (r, v) = {`
`143`	`143`	`if (r != 0) then {`
`144`	`144`	`rvfi_wX(r, v.address);`
`145`	`145`	`if get_config_print_reg() then`
`146`		`- print_reg("x" ^ string_of_int(r) ^ " <- " ^ RegStr(v));`
	`146`	`+ print_reg("x" ^ dec_str(r) ^ " <- " ^ RegStr(v));`
`147`	`147`	`}`
`148`	`148`	`}`
`149`	`149`