diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-05-03 22:50:41 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-03 22:50:41 -0700 |
| commit | cbfcc24f0da280e21de5118cc2c0c6a18a71a629 (patch) | |
| tree | 649c5f5c49aec6565e76df2a8e9c46f04e9bb5ee /src/Makefile.am | |
| parent | 8a3f9efe5856fc07fbc99b9b606397a5079ddd78 (diff) | |
Refactor bv-intro-pow2 preprocessing pass. (#1851)
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 168e1e3b8..0eefbc1de 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -64,6 +64,8 @@ libcvc4_la_SOURCES = \ decision/justification_heuristic.h \ preprocessing/passes/bv_gauss.cpp \ preprocessing/passes/bv_gauss.h \ + preprocessing/passes/bv_intro_pow2.cpp \ + preprocessing/passes/bv_intro_pow2.h \ preprocessing/passes/int_to_bv.cpp \ preprocessing/passes/int_to_bv.h \ preprocessing/passes/pseudo_boolean_processor.cpp \ @@ -326,8 +328,6 @@ libcvc4_la_SOURCES = \ theory/bv/bv_subtheory_core.h \ theory/bv/bv_subtheory_inequality.cpp \ theory/bv/bv_subtheory_inequality.h \ - theory/bv/bvintropow2.cpp \ - theory/bv/bvintropow2.h \ theory/bv/slicer.cpp \ theory/bv/slicer.h \ theory/bv/theory_bv.cpp \ |