Skip to content

Commit dee3cf8

Browse files
committed
remove an unused field
Signed-off-by: Lev Nachmanson <[email protected]>
1 parent 9302a02 commit dee3cf8

File tree

2 files changed

+1
-3
lines changed

2 files changed

+1
-3
lines changed

src/math/lp/dioph_eq.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -1203,7 +1203,7 @@ namespace lp {
12031203
p.coeff() /= g;
12041204
}
12051205
m_sum_of_fixed[ei] = c_g;
1206-
// e.m_l *= (1 / g);
1206+
// e.m_l /= g
12071207
for (auto& p : m_l_matrix.m_rows[ei]) {
12081208
p.coeff() /= g;
12091209
}

src/math/lp/lp_settings.h

-2
Original file line numberDiff line numberDiff line change
@@ -132,7 +132,6 @@ struct statistics {
132132
unsigned m_offset_eqs = 0;
133133
unsigned m_fixed_eqs = 0;
134134
unsigned m_dio_calls = 0;
135-
unsigned m_dio_normalize_conflicts = 0;
136135
unsigned m_dio_tighten_conflicts = 0;
137136
unsigned m_dio_branch_iterations= 0;
138137
unsigned m_dio_branching_depth = 0;
@@ -176,7 +175,6 @@ struct statistics {
176175
st.update("arith-nra-calls", m_nra_calls);
177176
st.update("arith-bounds-improvements", m_nla_bounds_improvements);
178177
st.update("arith-dio-calls", m_dio_calls);
179-
st.update("arith-dio-normalize-conflicts", m_dio_normalize_conflicts);
180178
st.update("arith-dio-tighten-conflicts", m_dio_tighten_conflicts);
181179
st.update("arith-dio-branch-iterations", m_dio_branch_iterations);
182180
st.update("arith-dio-branch-depths", m_dio_branching_depth);

0 commit comments

Comments
 (0)