diff options
Diffstat (limited to 'crawl-ref/source/libgui.h')
| -rw-r--r-- | crawl-ref/source/libgui.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/crawl-ref/source/libgui.h b/crawl-ref/source/libgui.h index 1ca73e103c..302d14f1e8 100644 --- a/crawl-ref/source/libgui.h +++ b/crawl-ref/source/libgui.h @@ -73,9 +73,5 @@ 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 |