diff options
| author | Thomas Bauereiss | 2018-03-21 10:35:06 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-03-21 10:35:06 +0000 |
| commit | e5fc89d249682f8323f987a8275d25403762f658 (patch) | |
| tree | 7107bda5dfbdfa5159e2d55b8a6123c2312ab65c /mips/mips_extras.lem | |
| parent | b42d5ab44307da291aac1882f8a2bb7bcbdfa900 (diff) | |
Fix Lem generation for MIPS
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 |