From 33c42201b9d44d8772e65f336feb72b38469c079 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Tue, 1 Dec 2020 18:27:11 +0100
Subject: Avoid compiler warnings.

---
 kernel/byterun/coq_uint63_emul.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'kernel')

diff --git a/kernel/byterun/coq_uint63_emul.h b/kernel/byterun/coq_uint63_emul.h
index d92bbe87eb..13568957c2 100644
--- a/kernel/byterun/coq_uint63_emul.h
+++ b/kernel/byterun/coq_uint63_emul.h
@@ -20,7 +20,7 @@
 
 # define DECLARE_NULLOP(name) \
 value uint63_##name() { \
-  static value* cb = 0; \
+  static value const *cb = 0; \
   CAMLparam0(); \
   if (!cb) cb = caml_named_value("uint63 " #name); \
   CAMLreturn(*cb); \
@@ -28,7 +28,7 @@ value uint63_##name() { \
 
 # define DECLARE_UNOP(name) \
 value uint63_##name##_ml(value x) { \
-  static value* cb = 0; \
+  static value const *cb = 0; \
   CAMLparam1(x); \
   if (!cb) cb = caml_named_value("uint63 " #name); \
   CAMLreturn(caml_callback(*cb, x)); \
@@ -53,7 +53,7 @@ value uint63_##name##_ml(value x) { \
 
 # define DECLARE_BINOP(name) \
 value uint63_##name##_ml(value x, value y) { \
-  static value* cb = 0; \
+  static value const *cb = 0; \
   CAMLparam2(x, y); \
   if (!cb) cb = caml_named_value("uint63 " #name); \
   CAMLreturn(caml_callback2(*cb, x, y)); \
@@ -79,7 +79,7 @@ value uint63_##name##_ml(value x, value y) { \
 
 # define DECLARE_TEROP(name) \
 value uint63_##name##_ml(value x, value y, value z) { \
-  static value* cb = 0; \
+  static value const *cb = 0; \
   CAMLparam3(x, y, z); \
   if (!cb) cb = caml_named_value("uint63 " #name); \
   CAMLreturn(caml_callback3(*cb, x, y, z)); \
-- 
cgit v1.2.3