standardized code of AddObjectDatum/AddMorphismDatum

Author: mohamed-barakat

gap/SkeletalFinSetsForCAP.gi

@@ -265,7 +265,7 @@ end );
 
 ##
 AddObjectDatum( SkeletalFinSets,
-  function ( SkeletalFinSets, n )
+  function ( cat, n )
 
     return Length( n );
 
@@ -281,7 +281,7 @@ end );
 
 ##
 AddMorphismDatum( SkeletalFinSets,
-  function ( SkeletalFinSets, map )
+  function ( cat, map )
 
     return AsList( map );