diff options
Diffstat (limited to 'src/theory/strings/regexp_entail.h')
-rw-r--r-- | src/theory/strings/regexp_entail.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/strings/regexp_entail.h b/src/theory/strings/regexp_entail.h index b0511bd53..62cb5a725 100644 --- a/src/theory/strings/regexp_entail.h +++ b/src/theory/strings/regexp_entail.h @@ -146,8 +146,6 @@ class RegExpEntail * computed. Used for getConstantBoundLengthForRegexp. */ static bool getConstantBoundCache(TNode n, bool isLower, Node& c); - /** The underlying rewriter */ - Rewriter* d_rewriter; /** Arithmetic entailment module */ ArithEntail d_aent; /** Common constants */ |