From 0d0a2554107cc1fa6ae6a9da4d761bfcb46b7f4e Mon Sep 17 00:00:00 2001 From: Risan Date: Sat, 21 Jun 2025 22:48:13 +0900 Subject: [PATCH] Remove include "profile.h" Removing it because gap_all.h is already included. For more context why we need this, please see: https://github.com/gap-system/gap/pull/6007 --- src/io.c | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/io.c b/src/io.c index 06e4229..3d64214 100644 --- a/src/io.c +++ b/src/io.c @@ -13,10 +13,6 @@ #include "gap_all.h" // GAP headers -#if GAP_KERNEL_MAJOR_VERSION >= 6 -#include "profile.h" -#endif - #undef PACKAGE #undef PACKAGE_BUGREPORT #undef PACKAGE_NAME