mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
formatting of else
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
85db8163fa
commit
4d742001ab
|
@ -2176,7 +2176,8 @@ public:
|
|||
if (is_infeasible()) {
|
||||
get_infeasibility_explanation_and_set_conflict();
|
||||
// verbose_stream() << "unsat\n";
|
||||
} else {
|
||||
}
|
||||
else {
|
||||
for (auto &ib : m_bp.ibounds()) {
|
||||
m.inc();
|
||||
if (ctx().inconsistent())
|
||||
|
|
Loading…
Reference in a new issue