From d6f0694465ba46e07d895124e6ecb676e23ee8e8 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 9 Apr 2014 12:22:03 -0400
Subject: Fix name of some Int31 operations in native compiler.

---
 kernel/nativevalues.mli | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'kernel/nativevalues.mli')

diff --git a/kernel/nativevalues.mli b/kernel/nativevalues.mli
index 9b0ce8e82d..4fbf493cc9 100644
--- a/kernel/nativevalues.mli
+++ b/kernel/nativevalues.mli
@@ -135,14 +135,14 @@ val l_or  : t -> t -> t -> t
 
 val addc      : t -> t -> t -> t
 val subc      : t -> t -> t -> t
-val addCarryC : t -> t -> t -> t
-val subCarryC : t -> t -> t -> t
+val addcarryc : t -> t -> t -> t
+val subcarryc : t -> t -> t -> t
 
 val mulc    : t -> t -> t -> t
 val diveucl : t -> t -> t -> t
 
 val div21     : t -> t -> t -> t -> t
-val addMulDiv : t -> t -> t -> t -> t
+val addmuldiv : t -> t -> t -> t -> t
 
 val eq      : t -> t -> t -> t
 val lt      : t -> t -> t -> t
@@ -167,14 +167,14 @@ val no_check_l_or  : t -> t -> t
 
 val no_check_addc      : t -> t -> t
 val no_check_subc      : t -> t -> t
-val no_check_addCarryC : t -> t -> t
-val no_check_subCarryC : t -> t -> t
+val no_check_addcarryc : t -> t -> t
+val no_check_subcarryc : t -> t -> t
 
 val no_check_mulc    : t -> t -> t
 val no_check_diveucl : t -> t -> t
 
 val no_check_div21     : t -> t -> t -> t
-val no_check_addMulDiv : t -> t -> t -> t
+val no_check_addmuldiv : t -> t -> t -> t
 
 val no_check_eq      : t -> t -> t
 val no_check_lt      : t -> t -> t
-- 
cgit v1.2.3