diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-08-01 09:26:26 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-01 09:26:26 -0500 |
| commit | c1d9bed7f73db9567f635f59cde134795e65c9ba (patch) | |
| tree | cec6839b42cc6c691bbb888bd356f627d973e968 /src/expr/CMakeLists.txt | |
| parent | 79881c196e29ef341166e7a31c1183e8b537d069 (diff) | |
Move some generic utilities out of quantifiers (#3139)
Diffstat (limited to 'src/expr/CMakeLists.txt')
| -rw-r--r-- | src/expr/CMakeLists.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/expr/CMakeLists.txt b/src/expr/CMakeLists.txt index 61ab7b3fb..300af8e8c 100644 --- a/src/expr/CMakeLists.txt +++ b/src/expr/CMakeLists.txt @@ -16,6 +16,8 @@ libcvc4_add_sources( expr_stream.h kind_map.h matcher.h + match_trie.cpp + match_trie.h node.cpp node.h node_algorithm.cpp @@ -37,6 +39,8 @@ libcvc4_add_sources( pickler.h symbol_table.cpp symbol_table.h + term_canonize.cpp + term_canonize.h type.cpp type.h type_checker.h |