C: Tweaks to RISC-V to get compiling to C

Revert a change to string_of_bits because it broke all the RISC-V
tests in OCaml. string_of_int (int_of_string x) is not valid because x may not
fit within an integer.

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