todd-coxeter: add to-presentation.hpp include

james-d-mitchell · james-d-mitchell · commit a1a313811d68 · 2025-10-06T18:28:22.000+01:00
diff --git a/src/todd-coxeter.cpp b/src/todd-coxeter.cpp
@@ -17,6 +17,7 @@
 //
 
 // libsemigroups headers
+#include <libsemigroups/to-presentation.hpp>
 #include <libsemigroups/todd-coxeter.hpp>
 
 // pybind11....
