diff options
Diffstat (limited to 'crawl-ref/source/libgui.h')
| -rw-r--r-- | crawl-ref/source/libgui.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/crawl-ref/source/libgui.h b/crawl-ref/source/libgui.h index 951024610a..1ca73e103c 100644 --- a/crawl-ref/source/libgui.h +++ b/crawl-ref/source/libgui.h @@ -12,6 +12,8 @@ #define LIBGUI_H #ifdef USE_TILE +#include <stdio.h> + #include "defines.h" typedef unsigned int screen_buffer_t; @@ -71,5 +73,9 @@ int itoa(int value, char *strptr, int radix); int stricmp(const char *str1, const char *str2); #endif +void init_crash_handler(); +void dump_crash_info(FILE* file); +void write_stack_trace(FILE* file, int ignore_count); + #endif // USE_TILE #endif // LIBGUI_H |