diff options
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 2b04bb40d..c438d9a4f 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -516,6 +516,8 @@ libcvc4_add_sources( theory/bv/bitblast/eager_bitblaster.h theory/bv/bitblast/lazy_bitblaster.cpp theory/bv/bitblast/lazy_bitblaster.h + theory/bv/bitblast/proof_bitblaster.cpp + theory/bv/bitblast/proof_bitblaster.h theory/bv/bitblast/simple_bitblaster.cpp theory/bv/bitblast/simple_bitblaster.h theory/bv/bv_eager_solver.cpp |