From c0b6815fc17bf798988be66931ea7ba914956fc4 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 14 Jul 2012 21:04:41 +0000 Subject: fixing make dist --- examples/hashsmt/Makefile.am | 4 ---- 1 file changed, 4 deletions(-) (limited to 'examples') 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 -- cgit v1.2.3