From 1429ec3e542b0a35ec94e085ec22b81b653458b6 Mon Sep 17 00:00:00 2001
From: Guillaume Munch-Maccagnoni
Date: Thu, 12 Dec 2019 15:48:09 +0100
Subject: [VM] fix volatile declaration

---
 kernel/byterun/coq_interp.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel')

diff --git a/kernel/byterun/coq_interp.c b/kernel/byterun/coq_interp.c
index b78643e226..754b977f89 100644
--- a/kernel/byterun/coq_interp.c
+++ b/kernel/byterun/coq_interp.c
@@ -205,8 +205,8 @@ if (sp - num_args < coq_stack_threshold) {                                     \
 
 /* For signal handling, we hijack some code from the caml runtime */
 
-extern intnat caml_signals_are_pending;
-extern intnat caml_pending_signals[];
+extern intnat volatile caml_signals_are_pending;
+extern intnat volatile caml_pending_signals[];
 extern void caml_process_pending_signals(void);
 
 /* The interpreter itself */
-- 
cgit v1.2.3