mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
remove an assert
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
parent
28d41783b8
commit
39da4f6dbd
|
@ -1100,7 +1100,6 @@ namespace lp {
|
|||
SASSERT(ret == lia_move::undef);
|
||||
ret = branching_on_undef();
|
||||
if (ret == lia_move::sat || ret == lia_move::conflict) {
|
||||
SASSERT(lra.settings().get_cancel_flag() == false);
|
||||
return ret;
|
||||
}
|
||||
SASSERT(ret == lia_move::undef);
|
||||
|
|
Loading…
Reference in a new issue