From 5ec04f7fd27bbf8905ee1d9c7924a86b8c556fcf Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Wed, 22 Apr 2020 15:30:16 +0100
Subject: [PATCH] forgot to remove unneeded class field

---
 src/ast/rewriter/bv_rewriter.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/ast/rewriter/bv_rewriter.h b/src/ast/rewriter/bv_rewriter.h
index de42fc4d2..ddc814235 100644
--- 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);