1 files changed, 2 insertions, 3 deletions
diff --git a/CRT.h b/CRT.h
index 260d0874..b77a83a7 100644
--- a/CRT.h
+++ b/CRT.h
@@ -9,9 +9,6 @@ Released under the GNU GPL, see the COPYING file
 in the source distribution for its full text.
 */
 
-#ifdef HAVE_EXECINFO_H
-#endif
-
 #define ColorPair(i,j) COLOR_PAIR((7-i)*8+j)
 
 #define COLORSCHEME_DEFAULT 0
@@ -103,6 +100,8 @@ typedef enum ColorElements_ {
 
 void CRT_fatalError(const char* note) __attribute__ ((noreturn));
 
+void CRT_handleSIGSEGV(int sgn);
+
 
 // TODO: centralize these in Settings.