From 5bcfa8cab56798f2b575b839fd92b0f743c3d453 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Sat, 5 Apr 2014 18:17:28 -0400
Subject: Int31 literals in native compiler.

---
 kernel/uint31.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/uint31.ml')

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 
-- 
cgit v1.2.3