mirror of
https://github.com/Z3Prover/z3
synced 2025-04-20 07:36:38 +00:00
parent
ce6fc21bef
commit
15916091d1
|
@ -1661,6 +1661,8 @@ namespace {
|
|||
|
||||
if (m_incompatible.empty()) {
|
||||
// sequence starting at head is fully compatible
|
||||
if (!curr)
|
||||
return;
|
||||
SASSERT(curr != 0);
|
||||
SASSERT(curr->m_opcode == CHOOSE);
|
||||
choose * first_child = static_cast<choose *>(curr);
|
||||
|
|
Loading…
Reference in a new issue