diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-20 16:06:11 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-20 23:06:11 +0000 |
| commit | f3c8a5bb39c494fa028cbfeb6798c1ae7502e437 (patch) | |
| tree | 41a74326ec402c272b2c0d0b40df953202ba8b4d /src/CMakeLists.txt | |
| parent | 10a4e43ad9a56a3a72878b24ec24c2e4fbccea57 (diff) | |
BV: Move implementation of type rules from header to .cpp. (#6360)
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 81e598f2b..662df7254 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -554,6 +554,7 @@ libcvc4_add_sources( theory/bv/theory_bv_rewrite_rules_simplification.h theory/bv/theory_bv_rewriter.cpp theory/bv/theory_bv_rewriter.h + theory/bv/theory_bv_type_rules.cpp theory/bv/theory_bv_type_rules.h theory/bv/theory_bv_utils.cpp theory/bv/theory_bv_utils.h |