addSymbol : function(symbol) {
//print("ADDING SYMBOL:"+symbol.alias.toString());
-
+ if (!symbol.is) {
+ print ("FAILED TO UNSERIALIZE?");
+ }
if (this.hasSymbol(symbol.alias)) {
imports.BuildDocs.Options.LOG.warn("Overwriting symbol documentation for: "+symbol.alias + ".");