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