diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2016-06-23 16:56:49 -0700 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2016-06-23 16:56:49 -0700 |
commit | 9b9e41478d0e1e62fa4bc8ca206a70dff5e8c392 (patch) | |
tree | c731ae0ba44b951acbf88c81acc729bd0f86e292 /src/Makefile.am | |
parent | bb25c992db15b8c6316af80ba32f2ffa0add0781 (diff) |
Add theory/sep/kinds to EXTRA_DIST to fix distcheck failures.
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
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 \ |