diff --git a/src/frontend/signal_handler.h b/src/frontend/signal_handler.h
index 5d46d1625..825b075a0 100644
--- a/src/frontend/signal_handler.h
+++ b/src/frontend/signal_handler.h
@@ -1,6 +1,7 @@
 /*************
  * Header file for signal_handler.c
  * 1999 E. Rouat
+ * $Id$
  ************/
 
 #ifndef SIGNAL_HANDLER_H_INCLUDED
@@ -15,4 +16,6 @@ RETSIGTYPE sigbus(void);
 RETSIGTYPE sigsegv(void);
 RETSIGTYPE sig_sys(void);
 
+extern JMP_BUF jbuf;
+
 #endif