From 6e8c8068a8cbaf34dbb5e32a2eda61f190737f86 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Sun, 22 Dec 2019 11:09:54 +0400
Subject: Simplify equality of 63-bit integers.

The sign bit is supposed to be zero, so no need to mask it out. If it was
not zero, most of the algorithms in this file would fail horribly.
---
 kernel/uint63_31.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/uint63_31.ml b/kernel/uint63_31.ml
index df8a354dcf..3d7dd1792a 100644
--- a/kernel/uint63_31.ml
+++ b/kernel/uint63_31.ml
@@ -138,7 +138,7 @@ let mulc x y =
   then Int64.(sub !hr one, mask63 !lr)
   else (!hr, !lr)
 
-let equal x y = mask63 x = mask63 y
+let equal (x : t) y = x = y
 
 let compare x y = Int64.compare x y
 
-- 
cgit v1.2.3