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.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/uint31.mli')

diff --git a/kernel/uint31.mli b/kernel/uint31.mli
index 2094df6fa..fdfb2d95a 100644
--- a/kernel/uint31.mli
+++ b/kernel/uint31.mli
@@ -29,7 +29,7 @@ val div21   : t -> t -> t -> t * t
       
       (* comparison *)
 val lt      : t -> t -> bool
-val eq      : t -> t -> bool
+val equal   : t -> t -> bool
 val le      : t -> t -> bool
 val compare : t -> t -> int
 
-- 
cgit v1.2.3