diff options
Diffstat (limited to 'src/preprocessing/passes/ite_simp.cpp')
| -rw-r--r-- | src/preprocessing/passes/ite_simp.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/preprocessing/passes/ite_simp.cpp b/src/preprocessing/passes/ite_simp.cpp index 137925f77..fbc22597d 100644 --- a/src/preprocessing/passes/ite_simp.cpp +++ b/src/preprocessing/passes/ite_simp.cpp @@ -14,13 +14,14 @@ #include "preprocessing/passes/ite_simp.h" +#include <vector> + #include "options/proof_options.h" +#include "preprocessing/preprocessing_pass_registry.h" #include "smt/smt_statistics_registry.h" #include "smt_util/nary_builder.h" #include "theory/arith/arith_ite_utils.h" -#include <vector> - using namespace CVC4; using namespace CVC4::theory; @@ -256,6 +257,8 @@ PreprocessingPassResult ITESimp::applyInternal( : PreprocessingPassResult::CONFLICT; } +static RegisterPass<ITESimp> X("ite-simp"); + /* -------------------------------------------------------------------------- */ } // namespace passes |