mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 02:15:19 +00:00
fix the build
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
parent
b703d2786c
commit
8f588a9263
|
@ -292,8 +292,6 @@ public:
|
|||
}
|
||||
|
||||
void create_root(unsigned row_index) {
|
||||
++lp().settings().ddd;
|
||||
TRACE("cheap_eq", tout << "ddd = " << lp().settings().ddd << "\n";);
|
||||
SASSERT(!m_root && !m_fixed_vertex);
|
||||
signed_column x, y;
|
||||
TRACE("cheap_eq", print_row(tout, row_index););
|
||||
|
|
Loading…
Reference in a new issue