diff options
Diffstat (limited to 'src/preprocessing/passes/nl_ext_purify.cpp')
| -rw-r--r-- | src/preprocessing/passes/nl_ext_purify.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/preprocessing/passes/nl_ext_purify.cpp b/src/preprocessing/passes/nl_ext_purify.cpp index afb092571..630f35c14 100644 --- a/src/preprocessing/passes/nl_ext_purify.cpp +++ b/src/preprocessing/passes/nl_ext_purify.cpp @@ -16,6 +16,8 @@ #include "preprocessing/passes/nl_ext_purify.h" +#include "preprocessing/preprocessing_pass_registry.h" + namespace CVC4 { namespace preprocessing { namespace passes { @@ -125,6 +127,8 @@ PreprocessingPassResult NlExtPurify::applyInternal( return PreprocessingPassResult::NO_CONFLICT; } +static RegisterPass<NlExtPurify> X("nl-ext-purify"); + } // namespace passes } // namespace preprocessing } // namespace CVC4 |