fix the build

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
Z3Prover · Jun 20, 2020 · 8f588a9 · 8f588a9
1 parent b703d27
commit 8f588a9
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/math/lp/lp_bound_propagator.h b/src/math/lp/lp_bound_propagator.h
@@ -292,8 +292,6 @@ class lp_bound_propagator {
     }
 
     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););