diff options
Diffstat (limited to 'src/theory/builtin/Makefile.am')
-rw-r--r-- | src/theory/builtin/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/builtin/Makefile.am b/src/theory/builtin/Makefile.am index 4b2d566b4..ad471bae7 100644 --- a/src/theory/builtin/Makefile.am +++ b/src/theory/builtin/Makefile.am @@ -13,4 +13,5 @@ libbuiltin_la_SOURCES = \ theory_builtin.h \ theory_builtin.cpp -EXTRA_DIST = kinds +EXTRA_DIST = \ + kinds |