diff options
| author | Robert Norton | 2017-04-21 17:04:52 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-21 17:05:28 +0100 |
| commit | 70e9a92183b38c7b79c0ee66f0cae72c8578bd00 (patch) | |
| tree | 345748ec165e2f1251da8f77edd4f9f591815904 /mips/mips_extras_ml.ml | |
| parent | a5d8b2dc56594c1c4d1f88b1017638b5eef69086 (diff) | |
it turns out zarith has a function for printing big_ints in hex. Remove the dependency on ocaml uint library by using it.
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 |