Update include/libsemigroups/konieczny.tpp

james-d-mitchell · web-flow · commit 7070a32d99d3 · 2025-03-21T14:43:43.000Z
diff --git a/include/libsemigroups/konieczny.tpp b/include/libsemigroups/konieczny.tpp
@@ -15,7 +15,6 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
-#include "libsemigroups/detail/report.hpp"
 namespace libsemigroups {
 
   ////////////////////////////////////////////////////////////////////////
