mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-03-07 13:54:53 +00:00
Code Activity

Remove unused old_qhead variable in seq_plugin::propagate

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-03-01 21:51:00 +00:00
parent 78a4e3001b
commit 12b7a4dae3
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/ast/euf/euf_seq_plugin.cpp
View file

@ -50,8 +50,6 @@ namespace euf {
void seq_plugin::propagate() {
if (m_qhead == m_queue.size())
return;
// save qhead for undo
unsigned old_qhead = m_qhead;
for (; m_qhead < m_queue.size(); ++m_qhead) {
if (g.inconsistent())
break;
@ -64,7 +62,6 @@ namespace euf {
propagate_merge(a, b);
}
}
(void)old_qhead;
}
void seq_plugin::propagate_register_node(enode* n) {