diff options
Diffstat (limited to 'mips/mips_extras.lem')
| -rw-r--r-- | mips/mips_extras.lem | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mips/mips_extras.lem b/mips/mips_extras.lem index bed8cd39..d4c79d7a 100644 --- a/mips/mips_extras.lem +++ b/mips/mips_extras.lem @@ -91,8 +91,8 @@ val putchar : integer -> unit let putchar _ = () declare ocaml target_rep function putchar i = (`print_char` (`char_of_int` (`Nat_big_num.to_int` i))) -let sign_extend bits len = maybe_failwith (of_bits (exts_bv len bits)) -let zero_extend bits len = maybe_failwith (of_bits (extz_bv len bits)) +let _sign_extend bits len = maybe_failwith (of_bits (exts_bv len bits)) +let _zero_extend bits len = maybe_failwith (of_bits (extz_bv len bits)) let shift_bits_left v n = let r = Maybe.bind (unsigned n) (fun n -> of_bits (shiftl_bv v n)) in |