From: Clark Barrett <barrett@cs.nyu.edu>
Date: Thu, 23 Jun 2016 23:56:49 +0000 (-0700)
Subject: Add theory/sep/kinds to EXTRA_DIST to fix distcheck failures.
X-Git-Tag: cvc5-1.0.0~6049^2~2^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9b9e41478d0e1e62fa4bc8ca206a70dff5e8c392;p=cvc5.git

Add theory/sep/kinds to EXTRA_DIST to fix distcheck failures.
---

diff --git a/src/Makefile.am b/src/Makefile.am
index 046b84f3a..235d20deb 100644
--- 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 \