2 files changed, 0 insertions, 25 deletions
diff --git a/src/proof/Makefile b/src/proof/Makefile
deleted file mode 100644
index b0985ba84..000000000
--- a/src/proof/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-topdir = ../..
-srcdir = src/proof
-
-include $(topdir)/Makefile.subdir
diff --git a/src/proof/Makefile.am b/src/proof/Makefile.am
deleted file mode 100644
index e996ddb60..000000000
--- a/src/proof/Makefile.am
+++ /dev/null
@@ -1,21 +0,0 @@
-AM_CPPFLAGS = \
-	-D__BUILDING_CVC4LIB \
-	-D __STDC_LIMIT_MACROS \
-	-D __STDC_FORMAT_MACROS \
-	-I@builddir@/.. -I@srcdir@/../prop/minisat -I@srcdir@/../include -I@srcdir@/..
-AM_CXXFLAGS = -Wall -Wno-parentheses -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
-
-noinst_LTLIBRARIES = libproof.la
-
-libproof_la_SOURCES = \
-	proof.h \
-	sat_proof.h \
-	sat_proof.cpp \
-	cnf_proof.h \
-	cnf_proof.cpp \
-	theory_proof.h \
-	theory_proof.cpp \
-	proof_manager.h \
-	proof_manager.cpp
-
-EXTRA_DIST =