From 2d4c6146b959002e2305aa3944148a76cb57980e Mon Sep 17 00:00:00 2001 From: Max Horn Date: Fri, 20 Jun 2025 00:15:29 +0200 Subject: [PATCH] Replace compiled.h by gap_all.h No functional change for this package but makes it future-proof. --- src/orb.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. */