1 files changed, 0 insertions, 29 deletions
diff --git a/src/prop/Makefile.am b/src/prop/Makefile.am
deleted file mode 100644
index 6b8221443..000000000
--- a/src/prop/Makefile.am
+++ /dev/null
@@ -1,29 +0,0 @@
-AM_CPPFLAGS = \
-	-D__BUILDING_CVC4LIB \
-	-D __STDC_LIMIT_MACROS \
-	-D __STDC_FORMAT_MACROS \
-	-I@builddir@/.. -I@srcdir@/minisat -I@srcdir@/bvminisat -I@srcdir@/../include -I@srcdir@/..
-AM_CXXFLAGS = -Wall -Wno-parentheses -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
-
-noinst_LTLIBRARIES = libprop.la
-
-libprop_la_SOURCES = \
-	registrar.h \
-	prop_engine.cpp \
-	prop_engine.h \
-	theory_proxy.h \
-	theory_proxy.cpp \
-	cnf_stream.h \
-	cnf_stream.cpp \
-	sat_solver.h \
-	sat_solver_types.h \
-	sat_solver_factory.h \
-	sat_solver_factory.cpp \
-	sat_solver_registry.h \
-	sat_solver_registry.cpp
-
-EXTRA_DIST = \
-	options_handlers.h
-
-SUBDIRS = minisat bvminisat
-