From 624c94b1870d51dcd28763ab7257bd4d4af418a0 Mon Sep 17 00:00:00 2001 From: Adam Goode Date: Sun, 10 Mar 2024 22:14:48 -0400 Subject: [PATCH] Use wasi_die throughout wasi.c --- runtime/platform/wasi.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/runtime/platform/wasi.c b/runtime/platform/wasi.c index b8d3dd3d8..f124ca5f1 100644 --- a/runtime/platform/wasi.c +++ b/runtime/platform/wasi.c @@ -161,18 +161,18 @@ void GC_displayMem (void) { } void GC_diskBack_close (__attribute__ ((unused)) void *data) { - die ("Disk-backed heap not supported on WASI"); + wasi_die ("Disk-backed heap not supported on WASI"); } void GC_diskBack_read (__attribute__ ((unused)) void *data, __attribute__ ((unused)) pointer buf, __attribute__ ((unused)) size_t size) { - die ("Disk-backed heap not supported on WASI"); + wasi_die ("Disk-backed heap not supported on WASI"); } void *GC_diskBack_write (__attribute__ ((unused)) pointer buf, __attribute__ ((unused)) size_t size) { - die ("Disk-backed heap not supported on WASI"); + wasi_die ("Disk-backed heap not supported on WASI"); } int sigemptyset (sigset_t *set) {