2 files changed, 0 insertions, 24 deletions
diff --git a/src/theory/sets/Makefile b/src/theory/sets/Makefile
deleted file mode 100644
index 68a2c5cb6..000000000
--- a/src/theory/sets/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-topdir = ../../..
-srcdir = src/theory/sets
-
-include $(topdir)/Makefile.subdir
diff --git a/src/theory/sets/Makefile.am b/src/theory/sets/Makefile.am
deleted file mode 100644
index 00678628f..000000000
--- a/src/theory/sets/Makefile.am
+++ /dev/null
@@ -1,20 +0,0 @@
-AM_CPPFLAGS = \
-	-D__BUILDING_CVC4LIB \
-	-I@builddir@/../.. -I@srcdir@/../../include -I@srcdir@/../..
-AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
-
-noinst_LTLIBRARIES = libsets.la
-
-libsets_la_SOURCES = \
-	theory_sets.h \
-	theory_sets.cpp \
-	theory_sets_private.h \
-	theory_sets_private.cpp \
-	theory_sets_rewriter.h \
-	theory_sets_rewriter.cpp \
-	theory_sets_type_rules.h \
-	theory_set_type_enumerator.h
-
-EXTRA_DIST = \
-	kinds \
-	options_handlers.h