projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: a3442c2)
fixing make dist
authorMorgan Deters <mdeters@gmail.com>
Sat, 14 Jul 2012 21:04:41 +0000 (21:04 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 14 Jul 2012 21:04:41 +0000 (21:04 +0000)
examples/hashsmt/Makefile.am patch | blob | history

diff --git a/examples/hashsmt/Makefile.am b/examples/hashsmt/Makefile.am
index e6670c9bd94b703a055ec62e104e339e08617780..64dc608997489ea14aeea0a235a224fe6e918456 100644 (file)
--- 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