diff --git a/src/keyboard.c b/src/keyboard.c
index 3cddd4119dd..20aa2dbd389 100644
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -7142,9 +7142,6 @@ struct user_signal_info
 /* List of user signals.  */
 static struct user_signal_info *user_signals = NULL;
 
-/* Function called when handling user signals.  */
-void (*handle_user_signal_hook) (int);
-
 void
 add_user_signal (int sig, const char *name)
 {
@@ -7193,8 +7190,6 @@ handle_user_signal (int sig)
           }
 
 	p->npending++;
-	if (handle_user_signal_hook)
-	  (*handle_user_signal_hook) (sig);
 #ifdef USABLE_SIGIO
 	if (interrupt_input)
 	  handle_input_available_signal (sig);
diff --git a/src/keyboard.h b/src/keyboard.h
index 55667bfb17c..7f95f11bc10 100644
--- a/src/keyboard.h
+++ b/src/keyboard.h
@@ -415,8 +415,6 @@ extern void unuse_menu_items (void);
 #define EVENT_HEAD_KIND(event_head) \
   (Fget ((event_head), Qevent_kind))
 
-extern void (*handle_user_signal_hook) (int);
-
 /* True while doing kbd input.  */
 extern bool waiting_for_input;