Fix ocaml test suite

1 files changed, 3 insertions, 1 deletions

diff --git a/lib/ocaml_rts/sail_lib.ml b/lib/ocaml_rts/sail_lib.ml
index c550b2ce..9b1bbc30 100644
--- a/lib/ocaml_rts/sail_lib.ml
+++ b/lib/ocaml_rts/sail_lib.ml
@@ -437,10 +437,12 @@ let sqrt_real x = real_of_string (string_of_float (sqrt (Num.float_of_num x)))
 let print_int (str, x) =
   prerr_endline (str ^ string_of_big_int x)
 
+let string_of_zbit = function
+  | B0 -> "0"
+  | B1 -> "1"
 let string_of_znat n = string_of_big_int n
 let string_of_zint n = string_of_big_int n
 let string_of_zunit () = "()"
-let string_of_zbits xs = string_of_bits xs
 let string_of_zbool = function
   | true -> "true"
   | false -> "false"