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