From 23ec47b494c84a871f69421f4d0c2d33120dce61 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Fri, 17 Nov 2017 11:49:34 +0100
Subject: [PATCH] Avoid GAP headers other than src/compiled.h

---
 src/bipart.cc          | 3 +--
 src/semigroups-debug.h | 2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/bipart.cc b/src/bipart.cc
index 67255c54d..4122c1a11 100644
--- a/src/bipart.cc
+++ b/src/bipart.cc
@@ -29,8 +29,7 @@
 #include <vector>
 
 #include "libsemigroups/src/semigroups.h"
-#include "src/permutat.h"
-#include "src/precord.h"
+#include "src/compiled.h"
 
 using libsemigroups::Timer;
 using libsemigroups::glob_reporter;
diff --git a/src/semigroups-debug.h b/src/semigroups-debug.h
index 15b5919de..60af11969 100644
--- a/src/semigroups-debug.h
+++ b/src/semigroups-debug.h
@@ -22,7 +22,7 @@
 #define SEMIGROUPS_SRC_SEMIGROUPS_DEBUG_H_
 
 #include <assert.h>
-#include <src/system.h>
+#include <src/compiled.h>
 
 #include "semigroups-config.h"