Searched refs:clause_other (Results 1 – 1 of 1) sorted by relevance
36 clause_other, enumerator66 clause_type current_type = clause_other; in form_hard_clauses()77 clause_type type = clause_other; in form_hard_clauses()98 if (type == clause_other) { in form_hard_clauses()