projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: bb25c99)
Add theory/sep/kinds to EXTRA_DIST to fix distcheck failures.
authorClark Barrett <barrett@cs.nyu.edu>
Thu, 23 Jun 2016 23:56:49 +0000 (16:56 -0700)
committerClark Barrett <barrett@cs.nyu.edu>
Thu, 23 Jun 2016 23:56:49 +0000 (16:56 -0700)
src/Makefile.am patch | blob | history

diff --git a/src/Makefile.am b/src/Makefile.am
index 046b84f3a263cdc258fd1d2bfb39d1317e5c8495..235d20deb4b86f579947d1f79e19cff04ed6d2a3 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -540,6 +540,7 @@ EXTRA_DIST = \
        theory/mktheorytraits \
        theory/quantifiers/kinds \
        theory/rewriter_tables_template.h \
+       theory/sep/kinds \
        theory/sets/kinds \
        theory/strings/kinds \
        theory/theory_traits_template.h \