Fix name of some Int31 operations in native compiler.

1 files changed, 6 insertions, 6 deletions

diff --git a/kernel/nativevalues.mli b/kernel/nativevalues.mli
index 9b0ce8e82..4fbf493cc 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