Searched refs:clause_other (Results 1 – 1 of 1) sorted by relevance
38 clause_other, enumerator70 clause_type current_type = clause_other; in form_hard_clauses()79 clause_type type = clause_other; in form_hard_clauses()83 type = clause_other; in form_hard_clauses()101 if (type == clause_other) { in form_hard_clauses()