mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
remove new_sub
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
44b0b0148b
commit
7255edf216
|
@ -439,7 +439,6 @@ void asserted_formulas::commit(unsigned new_qhead) {
|
|||
justified_expr const& j = m_formulas[i];
|
||||
update_substitution(j.get_fml(), j.get_proof());
|
||||
}
|
||||
(void)new_sub;
|
||||
m_qhead = new_qhead;
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue