diff options
Diffstat (limited to 'src/theory/rewriter.h')
-rw-r--r-- | src/theory/rewriter.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/rewriter.h b/src/theory/rewriter.h index e36426a81..572662483 100644 --- a/src/theory/rewriter.h +++ b/src/theory/rewriter.h @@ -201,8 +201,6 @@ class Rewriter { /** Theory rewriters used by this rewriter instance */ TheoryRewriter* d_theoryRewriters[theory::THEORY_LAST]; - unsigned long d_iterationCount = 0; - /** Rewriter table for prewrites. Maps kinds to rewriter function. */ std::function<RewriteResponse(RewriteEnvironment*, TNode)> d_preRewriters[kind::LAST_KIND]; |