diff options
author | Liana Hadarean <lianahady@gmail.com> | 2013-04-10 00:03:02 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2013-04-30 15:54:24 -0400 |
commit | e4f5359675972341858fe167f454ed5da4d8c115 (patch) | |
tree | 886a38c126ab7c4580087adaa80d2ebaa8ca22ab /src/theory/bv/Makefile.am | |
parent | c52adaace77377e14b2eda5b557d97993e2f97dd (diff) |
more work on boolean lifting
Diffstat (limited to 'src/theory/bv/Makefile.am')
-rw-r--r-- | src/theory/bv/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/theory/bv/Makefile.am b/src/theory/bv/Makefile.am index a70521791..8651f280b 100644 --- a/src/theory/bv/Makefile.am +++ b/src/theory/bv/Makefile.am @@ -12,6 +12,8 @@ libbv_la_SOURCES = \ type_enumerator.h \ bitblaster.h \ bitblaster.cpp \ + bv_to_bool.h \ + bv_to_bool.cpp \ bv_subtheory.h \ bv_subtheory_core.h \ bv_subtheory_core.cpp \ @@ -36,7 +38,7 @@ libbv_la_SOURCES = \ theory_bv_type_rules.h \ theory_bv_rewriter.h \ theory_bv_rewriter.cpp \ - cd_set_collection.h + cd_set_collection.h EXTRA_DIST = \ kinds |