From 3f3e462972cdf923186843b70e0838c54aa5782b Mon Sep 17 00:00:00 2001 From: Geoff Voelker Date: Fri, 17 Apr 1998 05:09:06 +0000 Subject: [PATCH] * w32heap.h (w32_fatal_reload_error): Declare. --- src/w32heap.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/w32heap.h b/src/w32heap.h index d2b05ba6e7c..ae18fd81df7 100644 --- a/src/w32heap.h +++ b/src/w32heap.h @@ -77,6 +77,9 @@ extern void cache_system_info (void); extern unsigned char *round_to_next (unsigned char *address, unsigned long align); +/* Report a fatal error during dumped heap management. */ +void w32_fatal_reload_error (char *step); + /* ----------------------------------------------------------------- */ /* Useful routines for manipulating memory-mapped files. */ -- 2.39.2