1 files changed, 0 insertions, 29 deletions
diff --git a/examples/sets-translate/Makefile.am b/examples/sets-translate/Makefile.am
deleted file mode 100644
index 1c5dc392b..000000000
--- a/examples/sets-translate/Makefile.am
+++ /dev/null
@@ -1,29 +0,0 @@
-AM_CPPFLAGS = \
-	-I@srcdir@/../../src/include -I@srcdir@/../../src -I@builddir@/../../src $(ANTLR_INCLUDES)
-AM_CXXFLAGS = -Wall
-AM_CFLAGS = -Wall
-
-noinst_PROGRAMS = \
-	sets2arrays \
-	sets2axioms
-
-noinst_DATA =
-
-sets2arrays_SOURCES = \
-	sets_translate.cpp
-sets2arrays_LDADD = \
-	@builddir@/../../src/parser/libcvc4parser.la \
-	@builddir@/../../src/libcvc4.la
-
-# give nodist_: only distribute/install once
-nodist_sets2axioms_SOURCES = \
-	sets_translate.cpp
-sets2axioms_LDADD = \
-	@builddir@/../../src/parser/libcvc4parser.la \
-	@builddir@/../../src/libcvc4.la
-sets2axioms_CXXFLAGS = \
-	-DENABLE_AXIOMS
-
-# for installation
-examplesdir = $(docdir)/$(subdir)
-examples_DATA = $(DIST_SOURCES) $(EXTRA_DIST)