File tree 1 file changed +5
-7
lines changed
1 file changed +5
-7
lines changed Original file line number Diff line number Diff line change @@ -653,9 +653,7 @@ namespace lp {
653
653
tout << " term_to_tighten + open_ml:" ;
654
654
print_term_o (term_to_tighten + open_ml (m_tmp_l), tout)
655
655
<< std::endl;
656
- print_lar_term_L (
657
- remove_fresh_vars (term_to_tighten + open_ml (m_tmp_l)), tout)
658
- << std::endl;);
656
+ );
659
657
SASSERT (
660
658
fix_vars (term_to_tighten + open_ml (m_tmp_l)) ==
661
659
term_to_lar_solver (remove_fresh_vars (create_term_from_ind_c ())));
@@ -925,10 +923,10 @@ namespace lp {
925
923
} else {
926
924
lra.add_var_bound (b->m_j , lconstraint_kind::GE, b->m_rs + mpq (1 ));
927
925
}
928
- // if (lra.column_is_fixed(b->m_j)) {
929
- // if (fix_var(lar_solver_to_local(b->m_j)) == lia_move::conflict)
930
- // return lia_move::conflict;
931
- // }
926
+ if (lra.column_is_fixed (b->m_j )) {
927
+ if (fix_var (lar_solver_to_local (b->m_j )) == lia_move::conflict)
928
+ return lia_move::conflict;
929
+ }
932
930
return lia_move::undef;
933
931
}
934
932
You can’t perform that action at this time.
0 commit comments