diff options
author | yoni206 <yoni206@users.noreply.github.com> | 2018-04-25 11:54:23 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-25 11:54:23 -0700 |
commit | a2df47ad560843301ba98c79f1f0fe5d6091c0ae (patch) | |
tree | 8c2683dab7f7f856aebdf05fe439481358fd5f98 /src/preprocessing/preprocessing_pass_registry.cpp | |
parent | 6445c3dbf5fed9fa32426f041061234b5ac407f7 (diff) |
Refactor bv-to-bool and bool-to-bv preprocessing passes (#1788)
Diffstat (limited to 'src/preprocessing/preprocessing_pass_registry.cpp')
-rw-r--r-- | src/preprocessing/preprocessing_pass_registry.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/preprocessing/preprocessing_pass_registry.cpp b/src/preprocessing/preprocessing_pass_registry.cpp index 4f0693a25..71a91309b 100644 --- a/src/preprocessing/preprocessing_pass_registry.cpp +++ b/src/preprocessing/preprocessing_pass_registry.cpp @@ -45,5 +45,10 @@ PreprocessingPass* PreprocessingPassRegistry::getPass( return d_stringToPreprocessingPass[ppName].get(); } +void PreprocessingPassRegistry::unregisterPasses() +{ + d_stringToPreprocessingPass.clear(); +} + } // namespace preprocessing } // namespace CVC4 |