diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-09-24 15:03:28 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-09-24 15:03:28 +0000 |
| commit | 353c6d5c3770365f0dffcbdf697199bed156cf50 (patch) | |
| tree | e8a019cf24b3a4dd2b4eb458cbe066164b6eddee /src/theory/bv/Makefile.am | |
| parent | bb0fc300c810f68f1e901413272c6658e31d60f9 (diff) | |
basic union find for bitvectors
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 ad858ab53..c07bf018e 100644 --- a/src/theory/bv/Makefile.am +++ b/src/theory/bv/Makefile.am @@ -11,6 +11,8 @@ libbv_la_SOURCES = \ theory_bv_utils.h \ theory_bv_rewrite_rules.h \ theory_bv_rewrite_rules.cpp \ - theory_bv_type_rules.h + theory_bv_type_rules.h \ + equality_engine.h \ + equality_engine.cpp EXTRA_DIST = kinds |