diff options
author | Geoff Voelker <voelker@cs.washington.edu> | 1998-04-17 05:09:06 +0000 |
---|---|---|
committer | Geoff Voelker <voelker@cs.washington.edu> | 1998-04-17 05:09:06 +0000 |
commit | 3f3e462972cdf923186843b70e0838c54aa5782b (patch) | |
tree | 2ae79658a78327404402ebf23080233d1ca5d80c /src/w32heap.h | |
parent | a1b8f90f304f95b78ca6f3b92d8e38ad05e6acb7 (diff) | |
download | emacs-3f3e462972cdf923186843b70e0838c54aa5782b.tar.gz |
* w32heap.h (w32_fatal_reload_error): Declare.
Diffstat (limited to 'src/w32heap.h')
-rw-r--r-- | src/w32heap.h | 3 |
1 files changed, 3 insertions, 0 deletions
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. */ |