diff options
| author | Geoff Voelker | 1998-04-17 05:09:06 +0000 |
|---|---|---|
| committer | Geoff Voelker | 1998-04-17 05:09:06 +0000 |
| commit | 3f3e462972cdf923186843b70e0838c54aa5782b (patch) | |
| tree | 2ae79658a78327404402ebf23080233d1ca5d80c /src | |
| parent | a1b8f90f304f95b78ca6f3b92d8e38ad05e6acb7 (diff) | |
| download | emacs-3f3e462972cdf923186843b70e0838c54aa5782b.tar.gz emacs-3f3e462972cdf923186843b70e0838c54aa5782b.zip | |
* w32heap.h (w32_fatal_reload_error): Declare.
Diffstat (limited to 'src')
| -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); | |||
| 77 | extern unsigned char *round_to_next (unsigned char *address, | 77 | extern unsigned char *round_to_next (unsigned char *address, |
| 78 | unsigned long align); | 78 | unsigned long align); |
| 79 | 79 | ||
| 80 | /* Report a fatal error during dumped heap management. */ | ||
| 81 | void w32_fatal_reload_error (char *step); | ||
| 82 | |||
| 80 | /* ----------------------------------------------------------------- */ | 83 | /* ----------------------------------------------------------------- */ |
| 81 | /* Useful routines for manipulating memory-mapped files. */ | 84 | /* Useful routines for manipulating memory-mapped files. */ |
| 82 | 85 | ||