diff options
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 \ |