3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 01:24:08 +00:00

forgot to remove unneeded class field

This commit is contained in:
Nuno Lopes 2020-04-22 15:30:16 +01:00
parent 220bc7fcd9
commit 5ec04f7fd2

View file

@ -62,7 +62,6 @@ class bv_rewriter : public poly_rewriter<bv_rewriter_core> {
bool m_extract_prop;
bool m_bvnot_simpl;
bool m_le_extra;
bool m_urem_simpl;
bool is_zero_bit(expr * x, unsigned idx);