diff options
author | lianah <lianahady@gmail.com> | 2014-06-21 17:45:31 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2014-06-21 17:45:31 -0400 |
commit | 7b8c765e84987ae90226f9f7244492318fa85817 (patch) | |
tree | 60e30b99f748c641464da55b09c0e6dc144bbc86 /src/theory/bv/bv_eager_solver.cpp | |
parent | f37411e40673b07e8fe7d20ed9b6c5be98f3b8ae (diff) |
fixed build failure
Diffstat (limited to 'src/theory/bv/bv_eager_solver.cpp')
-rw-r--r-- | src/theory/bv/bv_eager_solver.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/bv/bv_eager_solver.cpp b/src/theory/bv/bv_eager_solver.cpp index 166d43e35..4e822d3c0 100644 --- a/src/theory/bv/bv_eager_solver.cpp +++ b/src/theory/bv/bv_eager_solver.cpp @@ -16,8 +16,7 @@ #include "theory/bv/bv_eager_solver.h" #include "theory/bv/bitblaster_template.h" -#include "theory/bv/eager_bitblaster.h" -#include "theory/bv/aig_bitblaster.h" +#include "theory/bv/options.h" using namespace std; using namespace CVC4; |