changeset 21610:f3fc92afc65b

* w32heap.h (w32_fatal_reload_error): Declare.
author Geoff Voelker <voelker@cs.washington.edu>
date Fri, 17 Apr 1998 05:09:06 +0000
parents 2595beed0362
children 1a4fc4d9ca9a
files src/w32heap.h
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/w32heap.h	Fri Apr 17 05:08:51 1998 +0000
+++ b/src/w32heap.h	Fri Apr 17 05:09:06 1998 +0000
@@ -77,6 +77,9 @@
 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. */