X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=parse-xml.c;h=9cf6694f91a008f64fef9f1a1dcb37192da289fb;hb=1713de7bb9768a933a7974a3713586a63f53d638;hp=3a32ee36e2731b317fe6a083b77b4d0f23373e80;hpb=f926879f4be2b8eca78860e22f00d1001b91c175;p=pspp

diff --git a/parse-xml.c b/parse-xml.c
index 3a32ee36e2..9cf6694f91 100644
--- a/parse-xml.c
+++ b/parse-xml.c
@@ -164,7 +164,7 @@ print_element (xmlDoc *doc, xmlNode *node, const char *element)
 {
   for (; node; node = node->next)
     {
-      if (!strcmp(element, (char *) node->name))
+      if (node->name && !strcmp(element, (char *) node->name))
         {
           xmlBuffer *buf = xmlBufferCreate();
           xmlNodeDump (buf, doc, node, 0, 1);