diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-30 15:49:45 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-30 15:49:45 -0700 |
| commit | 45af307478241b1fc8278406549d297f7f80fdb3 (patch) | |
| tree | d8dcfcfb1e0599b6a8bfc5cb81ac9461891be215 /src/Makefile.am | |
| parent | 6d04d6daff575a7e48eb88124faefadfadf727f4 (diff) | |
Refactor theory preprocess into preprocessing pass. (#2395)
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 1a55d3810..5577b4b23 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -117,6 +117,8 @@ libcvc4_la_SOURCES = \ preprocessing/passes/symmetry_detect.h \ preprocessing/passes/synth_rew_rules.cpp \ preprocessing/passes/synth_rew_rules.h \ + preprocessing/passes/theory_preprocess.cpp \ + preprocessing/passes/theory_preprocess.h \ preprocessing/passes/unconstrained_simplifier.cpp \ preprocessing/passes/unconstrained_simplifier.h \ preprocessing/preprocessing_pass.cpp \ |