X-Git-Url: http://git.roojs.org/?p=gnome.introspection-doc-generator;a=blobdiff_plain;f=JSDOC%2FSymbolSet.js;fp=JSDOC%2FSymbolSet.js;h=83a47379678dd6c9754d77675fcd44604cca67a5;hp=e39ffef80954933c1d0b355a7999ef75453d5319;hb=206a037ff1d541a3edb3886f5a84a037ac5f0b80;hpb=a52fdaa17fccbeac3f5945a6cba7ccc9e6b92343

diff --git a/JSDOC/SymbolSet.js b/JSDOC/SymbolSet.js
index e39ffef..83a4737 100644
--- 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)) {