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