diff --git a/src/gui/gui-input.h b/src/gui/gui-input.h
index d6ba7d738..bc0fbe2ec 100644
--- a/src/gui/gui-input.h
+++ b/src/gui/gui-input.h
@@ -34,8 +34,6 @@ extern void gui_input_replace_input (struct t_gui_buffer *buffer,
 extern void gui_input_paste_pending_signal ();
 extern void gui_input_text_changed_modifier_and_signal (struct t_gui_buffer *buffer,
                                                         int save_undo);
-extern void gui_input_move (struct t_gui_buffer *buffer, char *target,
-                            const char *source, int size);
 extern void gui_input_set_pos (struct t_gui_buffer *buffer, int pos);
 extern int gui_input_insert_string (struct t_gui_buffer *buffer,
                                     const char *string, int pos);