modify debug statement on WRITE_FRD to display hex of number

diff --git a/riscv/sv_insn_redirect.cc b/riscv/sv_insn_redirect.cc
index 684952f1a472fa9596133ee05a6f364ec9b33a7f..d02fcb0bf23f7c19c1be4419e3c016bd98009e5d 100644 (file)
--- a/riscv/sv_insn_redirect.cc
+++ b/riscv/sv_insn_redirect.cc
@@ -6,8 +6,8 @@
 
 void (sv_proc_t::WRITE_FRD)(sv_float32_t value)
 {
-    fprintf(stderr, "WRITE_FRD sv_float32_t %f\n",
-            (float)((float32_t)value).v);
+    fprintf(stderr, "WRITE_FRD sv_float32_t %lx\n",
+            ((float32_t)value).v);
     DO_WRITE_FREG( _insn->rd(), freg(value) );
 }