1 files changed, 1 insertions, 1 deletions

diff --git a/src/w32menu.c b/src/w32menu.c
index 3aa4c8bc96d..d4de73a0de7 100644
--- a/src/w32menu.c
+++ b/src/w32menu.c
@@ -820,7 +820,7 @@ w32_menu_show (FRAME_PTR f, int x, int y, int for_click, int keymaps,
           else if (EQ (type, QCradio))
             wv->button_type = BUTTON_TYPE_RADIO;
           else
-            abort ();
+            emacs_abort ();
 
           wv->selected = !NILP (selected);