Searched refs:stringTableOld (Results 1 – 1 of 1) sorted by relevance
308 StringTable stringTableOld(in); // read original string table in hideSymbols() local325 const string &s = stringTableOld.decode(e.name); in hideSymbols()356 const string &s = stringTableOld.decode(e.name); in hideSymbols()