diff options
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 83cd363f6..f6c5187c7 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -465,6 +465,10 @@ libcvc4_add_sources( theory/bv/theory_bv_utils.h theory/bv/type_enumerator.h theory/care_graph.h + theory/combination_care_graph.cpp + theory/combination_care_graph.h + theory/combination_engine.cpp + theory/combination_engine.h theory/datatypes/datatypes_rewriter.cpp theory/datatypes/datatypes_rewriter.h theory/datatypes/sygus_datatype_utils.cpp |