fixed build failure
authorlianah <lianahady@gmail.com>
Sat, 21 Jun 2014 21:45:31 +0000 (17:45 -0400)
committerlianah <lianahady@gmail.com>
Sat, 21 Jun 2014 21:45:31 +0000 (17:45 -0400)
commit7b8c765e84987ae90226f9f7244492318fa85817
tree60e30b99f748c641464da55b09c0e6dc144bbc86
parentf37411e40673b07e8fe7d20ed9b6c5be98f3b8ae
fixed build failure
src/Makefile.am
src/theory/bv/aig_bitblaster.cpp [new file with mode: 0644]
src/theory/bv/aig_bitblaster.h [deleted file]
src/theory/bv/bitblaster_template.h
src/theory/bv/bv_eager_solver.cpp
src/theory/bv/bv_subtheory_bitblast.cpp
src/theory/bv/eager_bitblaster.cpp [new file with mode: 0644]
src/theory/bv/eager_bitblaster.h [deleted file]
src/theory/bv/lazy_bitblaster.cpp [new file with mode: 0644]
src/theory/bv/lazy_bitblaster.h [deleted file]
test/unit/theory/theory_bv_white.h