diff options
Diffstat (limited to 'examples')
| -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 |