From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Wed, 5 Jan 2011 19:12:54 +0000 (+0000)
Subject: fix for build errors
X-Git-Tag: cvc5-1.0.0~8715
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=93096d3503f515d639a9c7ba76f0a0b3176b9c49;p=cvc5.git

fix for build errors
---

diff --git a/src/theory/Makefile.am b/src/theory/Makefile.am
index 5af56ec44..acf0ed5ee 100644
--- 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 7340f6ae7..76f3712f0 100644
--- 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 19f7c440d..c78a7456d 100644
--- 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"