1 files changed, 5 insertions, 0 deletions
diff --git a/crawl-ref/source/libw32c.h b/crawl-ref/source/libw32c.h
index 1a54543451..500e69f131 100644
--- a/crawl-ref/source/libw32c.h
+++ b/crawl-ref/source/libw32c.h
@@ -7,6 +7,7 @@
 
 #include <string>
 #include <stdarg.h>
+#include <stdio.h>
 
 typedef unsigned short screen_buffer_t;
 
@@ -60,4 +61,8 @@ 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