diff options
| author | Liana Hadarean <lianahady@gmail.com> | 2013-03-19 00:51:17 -0400 |
|---|---|---|
| committer | Liana Hadarean <lianahady@gmail.com> | 2013-03-19 00:51:17 -0400 |
| commit | adad8844eeae9d5fc3b4de1941a64ad428998088 (patch) | |
| tree | 7228c6a2223e357e685fe4b39c87405ebe147a2f /src/theory/bv/Makefile.am | |
| parent | b7054f0e092f54c9e385f4b55a81173602b74b42 (diff) | |
implementing more inequality graph stuff; work in progress doesn't compile
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 419acf6ba..29284ff5a 100644 --- a/src/theory/bv/Makefile.am +++ b/src/theory/bv/Makefile.am @@ -19,6 +19,8 @@ libbv_la_SOURCES = \ bv_subtheory_bitblast.cpp \ bv_subtheory_inequality.h \ bv_subtheory_inequality.cpp \ + bv_inequality_graph.h \ + bv_inequality_graph.cpp \ bitblast_strategies.h \ bitblast_strategies.cpp \ slicer.h \ |