diff options
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 0908b5b68..bb2b95960 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -92,10 +92,6 @@ libcvc4_add_sources( preprocessing/passes/static_learning.h preprocessing/passes/sygus_inference.cpp preprocessing/passes/sygus_inference.h - preprocessing/passes/symmetry_breaker.cpp - preprocessing/passes/symmetry_breaker.h - preprocessing/passes/symmetry_detect.cpp - preprocessing/passes/symmetry_detect.h preprocessing/passes/synth_rew_rules.cpp preprocessing/passes/synth_rew_rules.h preprocessing/passes/theory_preprocess.cpp |