mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-27 08:28:44 +00:00
Code Activity

e0 instead of first?

Browse source
This commit is contained in:
Jakob Rath 2023-01-05 16:44:45 +01:00
parent 6f18335604
commit a406e01fb8
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/math/polysat/viable.cpp
View file

@ -744,10 +744,9 @@ namespace polysat {
return false; return false;
entry const* e0 = e; entry const* e0 = e;
do { do {
entry const* n = e->next(); entry const* n = e->next();
while (n != first) { while (n != e0) {
entry const* n1 = n->next(); entry const* n1 = n->next();
if (n1 == e) if (n1 == e)
break; break;