From ec337b6e5be76b69b4c82af682a08cfec2a8e12a Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Sun, 22 Dec 2019 11:07:01 +0400
Subject: Do not hide constants from the compiler.

---
 kernel/uint63_31.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel')

diff --git a/kernel/uint63_31.ml b/kernel/uint63_31.ml
index e38389ca13..df8a354dcf 100644
--- a/kernel/uint63_31.ml
+++ b/kernel/uint63_31.ml
@@ -15,8 +15,8 @@ let _ = assert (Sys.word_size = 32)
 
 let uint_size = 63
 
-let maxuint63 = Int64.of_string "0x7FFFFFFFFFFFFFFF"
-let maxuint31 = Int64.of_string "0x7FFFFFFF"
+let maxuint63 = 0x7FFF_FFFF_FFFF_FFFFL
+let maxuint31 = 0x7FFF_FFFFL
 
 let zero = Int64.zero
 let one = Int64.one
-- 
cgit v1.2.3