From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 14 Jul 2012 21:04:41 +0000 (+0000)
Subject: fixing make dist
X-Git-Tag: cvc5-1.0.0~7930
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c0b6815fc17bf798988be66931ea7ba914956fc4;p=cvc5.git

fixing make dist
---

diff --git a/examples/hashsmt/Makefile.am b/examples/hashsmt/Makefile.am
index e6670c9bd..64dc60899 100644
--- a/examples/hashsmt/Makefile.am
+++ b/examples/hashsmt/Makefile.am
@@ -15,7 +15,3 @@ sha1smt_SOURCES = \
 	sha1.hpp
 sha1smt_LDADD = \
 	@builddir@/../../src/libcvc4.la
-
-EXTRA_DIST = \
-	linkedin.small
-	
\ No newline at end of file