diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/uint63_31.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |