diff options
Diffstat (limited to 'mips/mips_extras_ml.ml')
| -rw-r--r-- | mips/mips_extras_ml.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips/mips_extras_ml.ml b/mips/mips_extras_ml.ml index 458a2f8d..96c55909 100644 --- a/mips/mips_extras_ml.ml +++ b/mips/mips_extras_ml.ml @@ -2,7 +2,7 @@ open Sail_values open Big_int_Z open Printf -let big_int_to_hex i = Uint64.to_string_hex (Uint64.of_string (string_of_big_int i)) +let big_int_to_hex i = Z.format "%x" i module Mem = struct include Map.Make(struct |