diff options
Diffstat (limited to 'src/preprocessing/passes/bv_ackermann.cpp')
-rw-r--r-- | src/preprocessing/passes/bv_ackermann.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/preprocessing/passes/bv_ackermann.cpp b/src/preprocessing/passes/bv_ackermann.cpp index 01fa70b61..2ec49b985 100644 --- a/src/preprocessing/passes/bv_ackermann.cpp +++ b/src/preprocessing/passes/bv_ackermann.cpp @@ -24,7 +24,6 @@ #include "preprocessing/passes/bv_ackermann.h" #include "options/bv_options.h" -#include "preprocessing/preprocessing_pass_registry.h" #include "theory/bv/theory_bv_utils.h" using namespace CVC4; @@ -214,7 +213,6 @@ PreprocessingPassResult BVAckermann::applyInternal( return PreprocessingPassResult::NO_CONFLICT; } -static RegisterPass<BVAckermann> X("bv-ackermann"); /* -------------------------------------------------------------------------- */ |