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