JSDOC/SymbolSet.js

diff --git a/JSDOC/SymbolSet.js b/JSDOC/SymbolSet.js
index e39ffef..83a4737 100644 (file)
--- a/JSDOC/SymbolSet.js
+++ b/JSDOC/SymbolSet.js
@@ -43,6 +43,7 @@ SymbolSet = XObject.define(
             //print("ADDING SYMBOL:"+symbol.alias.toString());
             if (!symbol.is) {
                 print ("FAILED TO UNSERIALIZE?" );
+                Seed.quit();
                }
             
             if (this.hasSymbol(symbol.alias)) {