diff options
Diffstat (limited to 'src/w32menu.c')
| -rw-r--r-- | src/w32menu.c | 2 |
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); |