Merge pull request #257 from zickgraf/master

Fix data type of an empty list
homalg-project · Jul 18, 2024 · 82c0d68 · 82c0d68
2 parents 9556687 + e4573fb
commit 82c0d68
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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-01",
+Version := "2024.07-02",
 
 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
@@ -646,7 +646,7 @@ end );
 AddUniversalMorphismFromInitialObjectWithGivenInitialObject( SkeletalFinSets,
   function ( cat, m, I )
 
-    return MorphismConstructor( cat, I, CapJitTypedExpression( [ ], { } -> IsBigInt ), m );
+    return MorphismConstructor( cat, I, CapJitTypedExpression( [ ], { } -> CapJitDataTypeOfListOf( IsBigInt ) ), m );
 
 end );