diff --git a/src/orb.c b/src/orb.c index f74c2c9..f747f57 100644 --- a/src/orb.c +++ b/src/orb.c @@ -9,7 +9,7 @@ #include -#include "compiled.h" // GAP headers +#include "gap_all.h" // GAP headers /* This file corresponds to orb/gap/avltree.gi, it imlements some of * its functionality on the C level for better performance. */