forgot to remove unneeded class field

Z3Prover · Apr 22, 2020 · 5ec04f7 · 5ec04f7
1 parent 220bc7f
commit 5ec04f7
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/ast/rewriter/bv_rewriter.h b/src/ast/rewriter/bv_rewriter.h
@@ -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);