mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
parent
caa5b09046
commit
f94abf6512
|
@ -200,9 +200,10 @@ void emonics::remove_cg_mon(const monic& m) {
|
|||
}
|
||||
else if (v[0] == u) {
|
||||
v.erase(u);
|
||||
auto v0 = v[0];
|
||||
unsigned_vector vv(v);
|
||||
m_cg_table.remove(u);
|
||||
m_cg_table.insert(v[0], vv);
|
||||
m_cg_table.insert(v0, vv);
|
||||
}
|
||||
else {
|
||||
v.erase(u);
|
||||
|
|
Loading…
Reference in a new issue