[7251] parsetexi update

[gavinsmith0123]

Revision: 7251
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=7251
Author:   gavin
Date:     2016-07-09 21:46:40 +0000 (Sat, 09 Jul 2016)
Log Message:
-----------
parsetexi update

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

Modified: trunk/tp/parsetexi/end_line.c
===================================================================
--- trunk/tp/parsetexi/end_line.c       2016-07-09 21:35:26 UTC (rev 7250)
+++ trunk/tp/parsetexi/end_line.c       2016-07-09 21:46:40 UTC (rev 7251)
@@ -1332,12 +1332,13 @@
                   && !trimmed->contents.list[0]->text.text))
             superfluous_arg = 1;
 
-          text = trimmed->contents.list[0]->text.text;
+          if (trimmed->contents.number > 0)
+            text = trimmed->contents.list[0]->text.text;
         }
 
       if (!text)
         text = "";
-      //destroy_element (trimmed);
+      destroy_element (trimmed);
 
       if (!text || !strcmp (text, ""))
         {
@@ -1421,7 +1422,7 @@
                   command_error (current, "bad argument to @end: %s", line);
                 }
             }
-          else if (0 && superfluous_arg)
+          else if (superfluous_arg)
             {
               /* An error message is issued below. */
             }