diff --git a/Makefile.am b/Makefile.am index c40886b6c..778e02ab0 100644 --- a/Makefile.am +++ b/Makefile.am @@ -88,7 +88,6 @@ pkginclude_HEADERS += include/libsemigroups/presentation.hpp pkginclude_HEADERS += include/libsemigroups/presentation.tpp pkginclude_HEADERS += include/libsemigroups/ranges.hpp pkginclude_HEADERS += include/libsemigroups/ranges.tpp -pkginclude_HEADERS += include/libsemigroups/rewriters.hpp pkginclude_HEADERS += include/libsemigroups/runner.hpp pkginclude_HEADERS += include/libsemigroups/runner.tpp pkginclude_HEADERS += include/libsemigroups/schreier-sims.hpp @@ -134,6 +133,7 @@ detailinclude_HEADERS += include/libsemigroups/detail/pool.hpp detailinclude_HEADERS += include/libsemigroups/detail/race.hpp detailinclude_HEADERS += include/libsemigroups/detail/report.hpp detailinclude_HEADERS += include/libsemigroups/detail/report.tpp +detailinclude_HEADERS += include/libsemigroups/detail/rewriters.hpp detailinclude_HEADERS += include/libsemigroups/detail/stl.hpp detailinclude_HEADERS += include/libsemigroups/detail/string.hpp detailinclude_HEADERS += include/libsemigroups/detail/tce.hpp