diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/sail_lib.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/sail_lib.ml b/src/sail_lib.ml index 41b7c383..505227ef 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -373,9 +373,9 @@ let string_of_hex = function | _ -> failwith "Cannot convert binary sequence to hex" let string_of_bits bits = - (* if List.length bits mod 4 == 0 - * then "0x" ^ String.concat "" (List.map string_of_hex (break 4 bits)) *) - string_of_int (int_of_string ("0b" ^ String.concat "" (List.map string_of_bit bits))) + if List.length bits mod 4 == 0 + then "0x" ^ String.concat "" (List.map string_of_hex (break 4 bits)) + else "0b" ^ String.concat "" (List.map string_of_bit bits) let hex_slice (str, n, m) = let bits = List.concat (List.map hex_char (list_of_string (String.sub str 2 (String.length str - 2)))) in |