diff options
Diffstat (limited to 'kernel/uint31.ml')
| -rw-r--r-- | kernel/uint31.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/uint31.ml b/kernel/uint31.ml index 8c6e2c14c..0f1c1444b 100644 --- a/kernel/uint31.ml +++ b/kernel/uint31.ml @@ -117,7 +117,7 @@ let le_32 x y = let le_64 (x:int) (y:int) = x <= y let le = select le_32 le_64 -let eq x y = x == y +let equal (x:int) (y:int) = x == y let cmp_32 x y = Int32.compare (uint_32 x) (uint_32 y) (* Do not remove the type information it is really important for |