Avoid src/ prefix for GAP headers

... so that future GAP versions can stop installing /usr/local/include/gap/src
digraphs · Mar 14, 2023 · d09484b · d09484b
1 parent 0f35ebc
commit d09484b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/src/conditions.h b/src/conditions.h
@@ -17,7 +17,7 @@
 #include <string.h>   // for NULL, memcpy, size_t
 
 // GAP headers
-#include "src/system.h"  // for ALWAYS_INLINE
+#include "compiled.h"  // for ALWAYS_INLINE
 
 // Digraphs headers
 #include "bitarray.h"        // for BitArray, intersect_bit_arrays, size_b...

diff --git a/src/perms.h b/src/perms.h
@@ -22,8 +22,7 @@
 #include "digraphs-debug.h"  // for DIGRAPHS_ASSERT
 
 // GAP headers
-#include "compiled.h"      // for Obj, Int
-#include "src/permutat.h"  // for ADDR_PERM, IS_PERM
+#include "compiled.h"
 
 #define MAXVERTS 512
 #define UNDEFINED MAXVERTS + 1