diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-06-04 15:19:18 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-04 15:19:18 -0700 |
| commit | c5e74835268abbade41524a0584d3b58e3b000f7 (patch) | |
| tree | f9c4d9b0bfda35d0fea98690849db61c902248be /src/expr/CMakeLists.txt | |
| parent | e7e9b3587f82bb57c25bc52fdb229687cded5e22 (diff) | |
| parent | 6c608754e8058098e410e208d0b6cc0f586b79ca (diff) | |
Merge branch 'master' into fixJavaTestsfixJavaTests
Diffstat (limited to 'src/expr/CMakeLists.txt')
| -rw-r--r-- | src/expr/CMakeLists.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/expr/CMakeLists.txt b/src/expr/CMakeLists.txt index f2a4377d0..3d41b7a72 100644 --- a/src/expr/CMakeLists.txt +++ b/src/expr/CMakeLists.txt @@ -12,6 +12,8 @@ libcvc4_add_sources( expr_iomanip.cpp expr_iomanip.h expr_manager_scope.h + expr_sequence.cpp + expr_sequence.h kind_map.h match_trie.cpp match_trie.h @@ -32,6 +34,8 @@ libcvc4_add_sources( node_traversal.h node_value.cpp node_value.h + sequence.cpp + sequence.h node_visitor.h proof.cpp proof.h @@ -47,6 +51,8 @@ libcvc4_add_sources( proof_rule.h proof_skolem_cache.cpp proof_skolem_cache.h + proof_step_buffer.cpp + proof_step_buffer.h symbol_table.cpp symbol_table.h term_canonize.cpp |