From 8f588a9263a4db560b493b7a02a5fd7283bf7454 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 19 Jun 2020 15:05:02 -0700
Subject: [PATCH] fix the build

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/lp_bound_propagator.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/math/lp/lp_bound_propagator.h b/src/math/lp/lp_bound_propagator.h
index ba826d982..4975beeb6 100644
--- a/src/math/lp/lp_bound_propagator.h
+++ b/src/math/lp/lp_bound_propagator.h
@@ -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););