diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-31 12:04:42 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-31 19:04:42 +0000 |
| commit | a779d33c559e5e494e71ca1a0c744d0275b31b5c (patch) | |
| tree | 9fa0f7d0c5e8cbff9cf30836e52d750b8ef73d75 /src/CMakeLists.txt | |
| parent | 529fdabb892be7e28b3fb0c51e604332de04790c (diff) | |
Bags: Move implementation of type rules from header to .cpp file. (#6247)
Diffstat (limited to 'src/CMakeLists.txt')
| -rw-r--r-- | src/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 645cf3c79..4e2113c51 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -490,6 +490,7 @@ libcvc4_add_sources( theory/bags/theory_bags_type_enumerator.cpp theory/bags/theory_bags_type_enumerator.h theory/bags/theory_bags_type_rules.h + theory/bags/theory_bags_type_rules.cpp theory/booleans/circuit_propagator.cpp theory/booleans/circuit_propagator.h theory/booleans/proof_circuit_propagator.cpp |