From b658d29a0612a785e62958bc430cbf02dac45c14 Mon Sep 17 00:00:00 2001
From: Fabian Zickgraf <f.zickgraf@dashdos.com>
Date: Fri, 23 Aug 2024 10:12:33 +0200
Subject: [PATCH] Add "overhead" argument to SkeletalCategoryOfFiniteSets

---
 PackageInfo.g          | 2 +-
 gap/SkeletalFinSets.gi | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/PackageInfo.g b/PackageInfo.g
index 5ecedac..2cdb1fd 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2024.07-03",
+Version := "2024.08-01",
 
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
diff --git a/gap/SkeletalFinSets.gi b/gap/SkeletalFinSets.gi
index 8cc2813..7f3737b 100644
--- a/gap/SkeletalFinSets.gi
+++ b/gap/SkeletalFinSets.gi
@@ -11,6 +11,7 @@ InstallMethod( SkeletalCategoryOfFiniteSets,
  FunctionWithNamedArguments(
   [
     [ "no_precompiled_code", false ],
+    [ "overhead", true ],
   ],
   function ( CAP_NAMED_ARGUMENTS )
     local cat;
@@ -19,6 +20,7 @@ InstallMethod( SkeletalCategoryOfFiniteSets,
         "SkeletalFinSets", IsSkeletalCategoryOfFiniteSets,
         IsObjectInSkeletalCategoryOfFiniteSets, IsMorphismInSkeletalCategoryOfFiniteSets, IsCapCategoryTwoCell,
         IsBigInt, CapJitDataTypeOfListOf( IsBigInt ), fail
+        : overhead := CAP_NAMED_ARGUMENTS.overhead
     );
     
     cat!.category_as_first_argument := true;