}
if (g[v].left.graph) {
assert(g[v].left.graph->kind
- == tbi.isRootSuccessor(v) ? NFA_PREFIX : NFA_INFIX);
+ == (tbi.isRootSuccessor(v) ? NFA_PREFIX : NFA_INFIX));
if (!isImplementableNFA(*g[v].left.graph, nullptr, tbi.cc)) {
DEBUG_PRINTF("nfa prefix %zu failed (%zu vertices)\n", g[v].idx,
num_vertices(*g[v].left.graph));
// unimplementable.
DEBUG_PRINTF("report %u has been merged away, pruning\n", report);
- assert(h->kind == build.isRootSuccessor(*verts.begin()) ? NFA_PREFIX
- : NFA_INFIX);
+ assert(h->kind == (build.isRootSuccessor(*verts.begin()) ? NFA_PREFIX
+ : NFA_INFIX));
unique_ptr<NGHolder> h_new = cloneHolder(*h);
pruneReport(*h_new, report);