Use wasi_die throughout wasi.c

MLton · Mar 11, 2024 · 624c94b · 624c94b
1 parent aca7edf
commit 624c94b
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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) {