From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 13 Nov 2013 17:07:36 +0000 (-0500)
Subject: Another build fix; the dust should be settled now.
X-Git-Tag: cvc5-1.0.0~7256
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e13e6c0a291b7011ae4f72a546f8159a836151db;p=cvc5.git

Another build fix; the dust should be settled now.
---

diff --git a/contrib/Makefile.am b/contrib/Makefile.am
index 702bfe7fa..b707a9140 100644
--- a/contrib/Makefile.am
+++ b/contrib/Makefile.am
@@ -15,16 +15,12 @@ EXTRA_DIST = \
 	win32-build \
 	run-script-smtcomp2012 \
 	theoryskel/kinds \
-	theoryskel/Makefile \
-	theoryskel/Makefile.am \
 	theoryskel/README.WHATS-NEXT \
 	theoryskel/theory_DIR.cpp \
 	theoryskel/theory_DIR.h \
 	theoryskel/theory_DIR_rewriter.h \
 	theoryskel/theory_DIR_type_rules.h
 	alttheoryskel/kinds \
-	alttheoryskel/Makefile \
-	alttheoryskel/Makefile.am \
 	alttheoryskel/README.WHATS-NEXT \
 	alttheoryskel/theory_DIR.cpp \
 	alttheoryskel/theory_DIR.h