diff options
Diffstat (limited to 'src/expr/CMakeLists.txt')
-rw-r--r-- | src/expr/CMakeLists.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/expr/CMakeLists.txt b/src/expr/CMakeLists.txt index cae23054c..479b28cfb 100644 --- a/src/expr/CMakeLists.txt +++ b/src/expr/CMakeLists.txt @@ -15,7 +15,6 @@ libcvc4_add_sources( expr_manager_scope.h expr_stream.h kind_map.h - matcher.h match_trie.cpp match_trie.h node.cpp @@ -40,6 +39,8 @@ libcvc4_add_sources( type.cpp type.h type_checker.h + type_matcher.cpp + type_matcher.h type_node.cpp type_node.h variable_type_map.h |