diff options
Diffstat (limited to 'mips')
| -rw-r--r-- | mips/main.sail | 2 | ||||
| -rw-r--r-- | mips/prelude.sail | 1 |
2 files changed, 2 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);*/ diff --git a/mips/prelude.sail b/mips/prelude.sail index a44cb6bb..2fa818e3 100644 --- a/mips/prelude.sail +++ b/mips/prelude.sail @@ -207,6 +207,7 @@ function operator ^^ (bs, n) = replicate_bits (bs, n) val pow2 = "pow2" : forall 'n. atom('n) -> atom(2 ^ 'n) val print_bits = "print_bits" : forall 'n. (string, bits('n)) -> unit +val prerr_bits = "prerr_bits" : forall 'n. (string, bits('n)) -> unit val print_string = "print_string" : (string, string) -> unit union exception = { |