diff options
| author | Liana Hadarean <lianahady@gmail.com> | 2012-05-16 15:21:18 +0000 |
|---|---|---|
| committer | Liana Hadarean <lianahady@gmail.com> | 2012-05-16 15:21:18 +0000 |
| commit | 1a890e13218be6e87dbf0124b03a73420631d816 (patch) | |
| tree | 00d11474eda0adf95c285ee93f468833518cf3ad /src/theory/bv/Makefile.am | |
| parent | 03930f2a6fdfb85ecc81594ec65f41d7c1284577 (diff) | |
refactored TheoryBV bitblaster and equality engine into subtheories (similar to TheoryEngine
Diffstat (limited to 'src/theory/bv/Makefile.am')
| -rw-r--r-- | src/theory/bv/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/bv/Makefile.am b/src/theory/bv/Makefile.am index 3bb7e3056..8f524c8fc 100644 --- a/src/theory/bv/Makefile.am +++ b/src/theory/bv/Makefile.am @@ -11,6 +11,8 @@ libbv_la_SOURCES = \ theory_bv_utils.h \ bitblaster.h \ bitblaster.cpp \ + bv_subtheory.h \ + bv_subtheory.cpp \ bitblast_strategies.h \ bitblast_strategies.cpp \ theory_bv.h \ |