1 files changed, 1 insertions, 0 deletions

diff --git a/src/android.h b/src/android.h
index 8234dbb07c0..9b2eca807cb 100644
--- a/src/android.h
+++ b/src/android.h
@@ -89,6 +89,7 @@ extern void android_get_keysym_name (int, char *, size_t);
 extern void android_wait_event (void);
 extern void android_toggle_on_screen_keyboard (android_window, bool);
 extern void android_window_updated (android_window, unsigned long);
+extern _Noreturn void android_restart_emacs (void);