From c1d9bed7f73db9567f635f59cde134795e65c9ba Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Thu, 1 Aug 2019 09:26:26 -0500 Subject: Move some generic utilities out of quantifiers (#3139) --- src/expr/CMakeLists.txt | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/expr/CMakeLists.txt') 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 -- cgit v1.2.3