diff options
Diffstat (limited to 'riscv/riscv_extras.lem')
| -rw-r--r-- | riscv/riscv_extras.lem | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/riscv/riscv_extras.lem b/riscv/riscv_extras.lem index b93073de..7e217d74 100644 --- a/riscv/riscv_extras.lem +++ b/riscv/riscv_extras.lem @@ -76,5 +76,5 @@ let shift_bits_left v m = shiftl v (uint m) val print_string : string -> string -> unit let print_string msg s = prerr_endline (msg ^ s) -val print_bits : forall 'a. Size 'a => string -> bitvector 'a -> unit -let print_bits msg bs = prerr_endline (msg ^ (show_bitlist (bits_of bs))) +val prerr_bits : forall 'a. Size 'a => string -> bitvector 'a -> unit +let prerr_bits msg bs = prerr_endline (msg ^ (show_bitlist (bits_of bs))) |