From adad8844eeae9d5fc3b4de1941a64ad428998088 Mon Sep 17 00:00:00 2001 From: Liana Hadarean Date: Tue, 19 Mar 2013 00:51:17 -0400 Subject: implementing more inequality graph stuff; work in progress doesn't compile --- src/theory/bv/Makefile.am | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/theory/bv/Makefile.am') 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 \ -- cgit v1.2.3