Simplify loop in prop_conv::get
The iterator is not used as such and does not need to be exposed.
This commit is contained in:
parent
4987f3ab55
commit
5724a3514b
|
@ -497,14 +497,12 @@ exprt prop_conv_solvert::get(const exprt &expr) const
|
|||
}
|
||||
}
|
||||
|
||||
exprt tmp=expr;
|
||||
|
||||
Forall_operands(it, tmp)
|
||||
exprt tmp = expr;
|
||||
for(auto &op : tmp.operands())
|
||||
{
|
||||
exprt tmp_op=get(*it);
|
||||
it->swap(tmp_op);
|
||||
exprt tmp_op = get(op);
|
||||
op.swap(tmp_op);
|
||||
}
|
||||
|
||||
return tmp;
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in New Issue