Searched refs:insRes (Results 1 – 1 of 1) sorted by relevance
126 const auto insRes = CrtClauses.insert(VerClause.getClause().getName()); in HasDuplicateClauses() local127 if (!insRes.second) { in HasDuplicateClauses()