fix for build errors

diff --git a/src/theory/Makefile.am b/src/theory/Makefile.am
index 5af56ec44a002751f6eeb49872f3807e94da37f1..acf0ed5ee3d5ab18feff8889004353b7fb686d94 100644 (file)
--- a/src/theory/Makefile.am
+++ b/src/theory/Makefile.am
@@ -37,7 +37,8 @@ libtheory_la_LIBADD = \
 EXTRA_DIST = \
        rewriter_tables_template.h \
        theory_traits_template.h \
-       mktheoryof \
+       mktheorytraits \
+       mkrewriter \
        Makefile.subdirs
 
 BUILT_SOURCES = \

diff --git a/test/unit/theory/shared_term_manager_black.h b/test/unit/theory/shared_term_manager_black.h
index 7340f6ae79ca2e9089951070a3af87ba7018aeb4..76f3712f07b831a3335dc31aa1b64d2d8991cd1b 100644 (file)
--- a/test/unit/theory/shared_term_manager_black.h
+++ b/test/unit/theory/shared_term_manager_black.h
@@ -24,7 +24,6 @@
 
 #include "theory/theory.h"
 #include "theory/theory_engine.h"
-#include "theory/theoryof_table.h"
 #include "expr/node.h"
 #include "expr/node_manager.h"
 #include "expr/kind.h"

diff --git a/test/unit/theory/theory_engine_white.h b/test/unit/theory/theory_engine_white.h
index 19f7c440d979701164a4d6ad9ac017ad54f79e19..c78a7456d535a0194806ba2f8cf092ca338806a2 100644 (file)
--- a/test/unit/theory/theory_engine_white.h
+++ b/test/unit/theory/theory_engine_white.h
@@ -28,7 +28,6 @@
 
 #include "theory/theory.h"
 #include "theory/theory_engine.h"
-#include "theory/theoryof_table.h"
 #include "theory/rewriter.h"
 #include "expr/node.h"
 #include "expr/node_manager.h"