to-knuth-bendix: rewriters.hpp -> rewriting-system.hpp

james-d-mitchell · Joseph-Edwards · commit 319074a45d37 · 2026-06-12T11:45:40.000+01:00
diff --git a/src/to-knuth-bendix.cpp b/src/to-knuth-bendix.cpp
@@ -26,7 +26,7 @@
 #include <libsemigroups/todd-coxeter-class.hpp>  // for ToddCoxeter
 #include <libsemigroups/types.hpp>               // for word_type
 
-#include <libsemigroups/detail/rewriters.hpp>  // for detail::RewriteTrie
+#include <libsemigroups/detail/rewriting-system.hpp>  // for detail::RewriteTrie
 
 // pybind11....
 #include <pybind11/pybind11.h>
