# HG changeset patch
# User Nicholas Jillings <nicholas.jillings@eecs.qmul.ac.uk>
# Date 1433499956 -3600
# Node ID aad4f492ffdabd876b1384053922a67e0e87ebf7
# Parent  8665e532fa52691d5bd3cf97adc01fb51c169fde
Safari fix for Specification node

diff -r 8665e532fa52 -r aad4f492ffda core.js
--- a/core.js	Fri Jun 05 10:49:52 2015 +0100
+++ b/core.js	Fri Jun 05 11:25:56 2015 +0100
@@ -1026,9 +1026,13 @@
 		// On construction:
 		if (Collection.length != 0) {
 			Collection = Collection[0];
-			for (var i=0; i<Collection.childElementCount; i++) {
-				var child = Collection.children[i];
+			if (Collection.childElementCount != 0) {
+				var child = Collection.firstElementChild;
 				this.options.push(new this.OptionNode(child));
+				while (child.nextElementSibling != null) {
+					child = child.nextElementSibling;
+					this.options.push(new this.OptionNode(child));
+				}
 			}
 		}
 	};