mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 17:14:07 +00:00
fix maybe non initialized warning
Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
This commit is contained in:
parent
244cbc2638
commit
dfe15adf7e
|
@ -460,6 +460,7 @@ public:
|
|||
break;
|
||||
default:
|
||||
lean_assert(false);
|
||||
new_val_for_leaving = numeric_traits<T>::zero(); // does not matter
|
||||
}
|
||||
return j;
|
||||
}
|
||||
|
|
|
@ -1139,6 +1139,7 @@ lp_primal_core_solver<T, X>::get_infeasibility_cost_for_column(unsigned j) const
|
|||
break;
|
||||
default:
|
||||
lean_assert(false);
|
||||
ret = numeric_traits<T>::zero(); // does not matter
|
||||
break;
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue