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

remove disabling return

This commit is contained in:
Lev Nachmanson 2024-10-08 09:33:23 -07:00 committed by Lev Nachmanson
parent 8aeba62802
commit eaf2f7f165

View file

@ -513,7 +513,6 @@ namespace lp {
}
lia_move check() {
return lia_move::undef;
init();
while(m_f.size()) {
if (!normalize_by_gcd()) {