diff options
| author | yoni206 <yoni206@users.noreply.github.com> | 2018-08-25 14:31:32 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-25 14:31:32 -0700 |
| commit | c66033a67511b10b5ee22b7072b9ceab45552a79 (patch) | |
| tree | 3c313868e6b10ee4caa11bc017e65fde0c0ee11f /src/preprocessing/preprocessing_pass_context.h | |
| parent | 7b9c2529c149a9cd046083af401cbdeadf406804 (diff) | |
Refactor quantifier macros preprocessing pass (#1840)
Moved `src/theory/quantifiers/macros.{cpp,h}` to `src/preprocessing/passes/quantifier_macros.{cpp,h}`,
and added the necessary methods for inheritance from PreprocessingPass.
No need to add a test - regress0 fails when adding Assert(false) when assertions had changed.
Diffstat (limited to 'src/preprocessing/preprocessing_pass_context.h')
0 files changed, 0 insertions, 0 deletions