diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-12 18:35:57 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-12 18:35:57 -0500 |
| commit | f62cb035e728c77facc94c5dfe3a8a2df65aa3a7 (patch) | |
| tree | 20e8c8bdb3d89951596290c437266175bb30852b /src/CMakeLists.txt | |
| parent | a117e2b45539a822aa480b90558c2c0da6031dd9 (diff) | |
Rename UF with cardinality extension (#3241)
Diffstat (limited to 'src/CMakeLists.txt')
| -rw-r--r-- | src/CMakeLists.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index d6376fb8d..4f56be8a9 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -679,6 +679,8 @@ libcvc4_add_sources( theory/type_enumerator.h theory/type_set.cpp theory/type_set.h + theory/uf/cardinality_extension.cpp + theory/uf/cardinality_extension.h theory/uf/equality_engine.cpp theory/uf/equality_engine.h theory/uf/equality_engine_types.h @@ -691,8 +693,6 @@ libcvc4_add_sources( theory/uf/theory_uf_model.cpp theory/uf/theory_uf_model.h theory/uf/theory_uf_rewriter.h - theory/uf/theory_uf_strong_solver.cpp - theory/uf/theory_uf_strong_solver.h theory/uf/theory_uf_type_rules.h theory/valuation.cpp theory/valuation.h |