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 /test/unit | |
| parent | f37411e40673b07e8fe7d20ed9b6c5be98f3b8ae (diff) | |
fixed build failure
Diffstat (limited to 'test/unit')
| -rw-r--r-- | test/unit/theory/theory_bv_white.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/theory/theory_bv_white.h b/test/unit/theory/theory_bv_white.h index dd65fc8e4..64dd680ae 100644 --- a/test/unit/theory/theory_bv_white.h +++ b/test/unit/theory/theory_bv_white.h @@ -22,7 +22,7 @@ #include "smt/smt_engine.h" #include "smt/smt_engine_scope.h" #include "theory/bv/theory_bv.h" -#include "theory/bv/eager_bitblaster.h" +#include "theory/bv/bitblaster_template.h" #include "expr/node.h" #include "expr/node_manager.h" #include "context/context.h" |