[7433] parsetexi update

[gavinsmith0123]

Revision: 7433
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=7433
Author:   gavin
Date:     2016-10-06 06:36:04 +0000 (Thu, 06 Oct 2016)
Log Message:
-----------
parsetexi update

Modified Paths:
--------------
    trunk/tp/parsetexi/handle_commands.c

Modified: trunk/tp/parsetexi/handle_commands.c
===================================================================
--- trunk/tp/parsetexi/handle_commands.c        2016-10-06 06:22:10 UTC (rev 
7432)
+++ trunk/tp/parsetexi/handle_commands.c        2016-10-06 06:36:04 UTC (rev 
7433)
@@ -960,11 +960,10 @@
           /* This is for @detailmenu within @menu */
           ELEMENT *menu = current->parent;
           if (current->contents.number == 0)
-            {
-              destroy_element (pop_element_from_contents (menu));
-              if (pop_context () != ct_preformatted)
-                abort ();
-            }
+            destroy_element (pop_element_from_contents (menu));
+
+          if (pop_context () != ct_preformatted)
+            abort ();
           if (menu->type == ET_menu_entry)
             menu = menu->parent;
           current = menu;