Fix compiler warning. (#2975)

diff --git a/src/preprocessing/passes/synth_rew_rules.cpp b/src/preprocessing/passes/synth_rew_rules.cpp
index 9fb9fc9f56e8008ace14709eec5b4c9dc91b2dcf..3eb27c2f7e8106c14548dbaa0dc0ab348762f825 100644 (file)
--- a/src/preprocessing/passes/synth_rew_rules.cpp
+++ b/src/preprocessing/passes/synth_rew_rules.cpp
@@ -79,7 +79,6 @@ PreprocessingPassResult SynthRewRulesPass::applyInternal(
       {
         Trace("srs-input-debug") << "...preprocess " << cur << std::endl;
         visited[cur] = false;
-        Kind k = cur.getKind();
         bool isQuant = cur.isClosure();
         // we recurse on this node if it is not a quantified formula
         if (!isQuant)