From 45af307478241b1fc8278406549d297f7f80fdb3 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Thu, 30 Aug 2018 15:49:45 -0700 Subject: Refactor theory preprocess into preprocessing pass. (#2395) --- src/Makefile.am | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/Makefile.am') 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 \ -- cgit v1.2.3