diff --git a/src/kernel_services/analysis/bit_utils.ml b/src/kernel_services/analysis/bit_utils.ml
index 56148ceea37f55841cc6dfb4972e0611bdfe8ab9..05113200c9874e6c1788f18d98e131a062b16627 100644
--- a/src/kernel_services/analysis/bit_utils.ml
+++ b/src/kernel_services/analysis/bit_utils.ml
@@ -271,7 +271,7 @@ let rec pretty_bits_internal env bfinfo typ ~align ~start ~stop =
                if Integer.le new_start new_stop then
                  let new_bfinfo = match field.fbitfield with
                    | None -> Other
-                   | Some i -> Bitfield (Integer.to_int64_exn (Integer.of_int i))
+                   | Some i -> Bitfield (Int64.of_int i)
                  in
                  let new_align =
                    Integer.e_rem (Integer.sub align start_o) env.rh_size