mirror of
https://github.com/Z3Prover/z3
synced 2025-04-22 16:45:31 +00:00
duality fix
This commit is contained in:
parent
c9fcf7ee96
commit
fcada914d5
1 changed files with 1 additions and 1 deletions
|
@ -324,7 +324,7 @@ namespace Duality {
|
|||
last_decisions = 0;
|
||||
CreateEdgesByChildMap();
|
||||
#ifndef TOP_DOWN
|
||||
void CreateInitialUnwinding();
|
||||
CreateInitialUnwinding();
|
||||
#else
|
||||
CreateLeaves();
|
||||
for(unsigned i = 0; i < leaves.size(); i++)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue