From 4d199fa581d774b01643d52667a88bb72a401eea Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 8 Oct 2021 15:03:10 +0200
Subject: [PATCH] [kernel] Minor simplification in bit_utils.
---
src/kernel_services/analysis/bit_utils.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/analysis/bit_utils.ml b/src/kernel_services/analysis/bit_utils.ml
index 56148ceea37..05113200c98 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
--
GitLab