Searched refs:ourChoicesThatRequireOldFile (Results 1 – 1 of 1) sorted by relevance
846 EnumSet<Choice> ourChoicesThatRequireOldFile = choices.clone(); in writeSummaryTable() local847 ourChoicesThatRequireOldFile.retainAll(thingsThatRequireOldFile); in writeSummaryTable()862 if (!ourChoicesThatRequireOldFile.isEmpty()) { in writeSummaryTable()