diff options
Diffstat (limited to 'macros/texinfo/texinfo/tp/Texinfo/XS/parsetexi/menus.c')
-rw-r--r-- | macros/texinfo/texinfo/tp/Texinfo/XS/parsetexi/menus.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/macros/texinfo/texinfo/tp/Texinfo/XS/parsetexi/menus.c b/macros/texinfo/texinfo/tp/Texinfo/XS/parsetexi/menus.c index d2e0ce1cc7..dce4b749c4 100644 --- a/macros/texinfo/texinfo/tp/Texinfo/XS/parsetexi/menus.c +++ b/macros/texinfo/texinfo/tp/Texinfo/XS/parsetexi/menus.c @@ -159,7 +159,7 @@ handle_menu (ELEMENT **current_inout, char **line_inout) } if (pop_context () != ct_preformatted) - abort (); /* bug */ + fatal ("preformatted context expected"); menu_entry = new_element (ET_menu_entry); leading_text = new_element (ET_menu_entry_leading_text); |