mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
parent
6a0b70ee5c
commit
c15eca66d6
|
@ -338,8 +338,7 @@ namespace sat {
|
|||
if (sz == 0) {
|
||||
s.set_conflict(justification());
|
||||
for (; it != end; ++it, ++it2) {
|
||||
*it2 = *it;
|
||||
++it2;
|
||||
*it2 = *it;
|
||||
}
|
||||
break;
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue