3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 01:24:08 +00:00

remove an empty line

This commit is contained in:
Lev Nachmanson 2023-12-20 06:53:59 -10:00
parent d6365610d5
commit e28b644a67

View file

@ -950,7 +950,6 @@ namespace lp {
if (!feas)
return lia_move::conflict;
}
if (!_check_feasible())