addSymbol: function(symbol)
{
- //print("PARSER addSYMBOL : " + symbol.alias);
+ //print("PARSER addSYMBOL : " + symbol.alias);
// if a symbol alias is documented more than once the last one with the user docs wins
if (this.symbols.hasSymbol(symbol.alias)) {