diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-10-08 19:34:12 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-08 19:34:12 -0500 |
commit | 4ea8a9e79566ab36a2bd52f2bed2cbc35e30947c (patch) | |
tree | 9ebb2f2fc581013f76f9050a4173b3f5a900bba4 /src/expr/CMakeLists.txt | |
parent | bc5056c8927e8fbffbe9e9d103f0a81f8ab49480 (diff) |
(proof-new) Add lazy proof set utility (#5221)
This is a common pattern that is required in several places in preprocessing.
Diffstat (limited to 'src/expr/CMakeLists.txt')
-rw-r--r-- | src/expr/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/expr/CMakeLists.txt b/src/expr/CMakeLists.txt index 8742612ad..ccc575289 100644 --- a/src/expr/CMakeLists.txt +++ b/src/expr/CMakeLists.txt @@ -31,6 +31,8 @@ libcvc4_add_sources( lazy_proof.h lazy_proof_chain.cpp lazy_proof_chain.h + lazy_proof_set.cpp + lazy_proof_set.h match_trie.cpp match_trie.h node.cpp |