mirror of
https://github.com/Z3Prover/z3
synced 2025-07-23 20:58:54 +00:00
injectivity: Fixup rewriter
This commit is contained in:
parent
33dd168195
commit
27fd879b8c
1 changed files with 2 additions and 1 deletions
|
@ -284,7 +284,8 @@ public:
|
||||||
(*m_eq)(curr, rw, pr);
|
(*m_eq)(curr, rw, pr);
|
||||||
g->update(i, rw, pr, g->dep(i));
|
g->update(i, rw, pr, g->dep(i));
|
||||||
}
|
}
|
||||||
}
|
result.push_back(g.get());
|
||||||
|
}
|
||||||
|
|
||||||
virtual void cleanup() {
|
virtual void cleanup() {
|
||||||
InjHelper * m = alloc(InjHelper, m_manager);
|
InjHelper * m = alloc(InjHelper, m_manager);
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue