diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-07-14 21:04:41 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-07-14 21:04:41 +0000 |
commit | c0b6815fc17bf798988be66931ea7ba914956fc4 (patch) | |
tree | 022e90af8c16b0ff1a0d63b0d05f5acec8a804e4 | |
parent | a3442c2541325cff8b97f5fc27bcaf5fb96ef184 (diff) |
fixing make dist
-rw-r--r-- | examples/hashsmt/Makefile.am | 4 |
1 files changed, 0 insertions, 4 deletions
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 |