mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-29 01:18:45 +00:00
Code Activity

add this->

Browse source 
Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
This commit is contained in:
Lev Nachmanson 2017-10-04 14:49:45 -07:00
parent 2828126b72
commit fd3d785a5b
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/util/lp/lp_primal_core_solver_tableau.h
View file

@ -190,10 +190,10 @@ unsigned lp_primal_core_solver<T, X>::solve_with_tableau() {
&& &&
!(this->current_x_is_feasible() && this->m_look_for_feasible_solution_only) !(this->current_x_is_feasible() && this->m_look_for_feasible_solution_only)
&& &&
m_settings.get_cancel_flag() == false); this->m_settings.get_cancel_flag() == false);
if (m_settings.get_cancel_flag()) { if (this->m_settings.get_cancel_flag()) {
this->set_status(CANCELLED); this->set_status(CANCELLED);
} }
SASSERT( SASSERT(