diff options
Diffstat (limited to 'mips/main.sail')
| -rw-r--r-- | mips/main.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips/main.sail b/mips/main.sail index c444d2dc..16a8dfaf 100644 --- a/mips/main.sail +++ b/mips/main.sail @@ -16,7 +16,7 @@ function fetch_and_execute () = { /* the following skips are required on mips to fake the tag effects otherwise type checker complains */ skip_rmemt(); skip_wmvt(); - print_bits("PC: ", PC); + prerr_bits("PC: ", PC); try { let pc_pa = TranslatePC(PC); /*print_bits("pa: ", pc_pa);*/ |