diff options
Diffstat (limited to 'crawl-ref/source/libw32c.h')
| -rw-r--r-- | crawl-ref/source/libw32c.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/crawl-ref/source/libw32c.h b/crawl-ref/source/libw32c.h index 500e69f131..5d6b7f1900 100644 --- a/crawl-ref/source/libw32c.h +++ b/crawl-ref/source/libw32c.h @@ -61,8 +61,4 @@ inline void put_colour_ch(int colour, unsigned ch) putwch(ch); } -void init_crash_handler(); -void dump_crash_info(FILE* file); -void write_stack_trace(FILE* file, int ignore_count); - #endif |