Searched refs:resetFilenameIndex (Results 1 – 2 of 2) sorted by relevance
288 void resetFilenameIndex() { LastFilenameIndex = 0; } in resetFilenameIndex() function
1717 options().resetFilenameIndex(); in printExtra()