From dbe1b8589f837aa84778728c00e977e462d76ed0 Mon Sep 17 00:00:00 2001 From: nojebar Date: Wed, 1 Sep 2021 14:59:10 +0200 Subject: [PATCH] Use CAMLnoreturn_{start,end} instead of Noreturn --- src/unix/lwt_unix.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/unix/lwt_unix.h b/src/unix/lwt_unix.h index df74ebaf4a..eebb813750 100644 --- a/src/unix/lwt_unix.h +++ b/src/unix/lwt_unix.h @@ -44,7 +44,9 @@ char *lwt_unix_strdup(char *string); (type *)lwt_unix_malloc(sizeof(type) + size) /* Raise [Lwt_unix.Not_available]. */ -void lwt_unix_not_available(char const *feature) Noreturn; +CAMLnoreturn_start +void lwt_unix_not_available(char const *feature) +CAMLnoreturn_end; #define LWT_NOT_AVAILABLE_BYTE(prim) \ CAMLprim value lwt_##prim(value *a1, int a2) \