Searched refs:restore_removed_clause (Results 1 – 1 of 1) sorted by relevance
176 static inline void restore_removed_clause(clause_t *cl) { in restore_removed_clause() function5213 restore_removed_clause(cl); in restore_clauses()