From 9b9e41478d0e1e62fa4bc8ca206a70dff5e8c392 Mon Sep 17 00:00:00 2001 From: Clark Barrett Date: Thu, 23 Jun 2016 16:56:49 -0700 Subject: [PATCH] Add theory/sep/kinds to EXTRA_DIST to fix distcheck failures. --- src/Makefile.am | 1 + 1 file changed, 1 insertion(+) 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 \ -- 2.30.2