# HG changeset patch
# User Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
# Date 1499264550 -3600
# Node ID 5d5542e01fe14fdd41284c065927cc6c7394e72d
# Parent  84be0f28044d2dd9b3e05478532b16ccfdaab6ce# Parent  2eec0c37b4cb7d70265853032c774204694dffab
Merge branch 'vnext'

diff -r 84be0f28044d -r 5d5542e01fe1 js/specification.js
--- a/js/specification.js	Wed Jul 05 15:15:34 2017 +0100
+++ b/js/specification.js	Wed Jul 05 15:22:30 2017 +0100
@@ -188,7 +188,7 @@
         var attributes = schemaSetup.querySelectorAll('attribute');
         for (var i = 0; i < attributes.length; i++) {
             var name = attributes[i].getAttribute("name");
-            if (name === undefined) {
+            if (name === null) {
                 name = attributes[i].getAttribute("ref");
             }
             if (this[name] !== undefined || attributes[i].getAttribute("use") == "required") {