diff --git a/MonoidalCategories/gap/ClosedMonoidalCategories.gd b/MonoidalCategories/gap/ClosedMonoidalCategories.gd index ba2aad73bc..82e27b6d88 100644 --- a/MonoidalCategories/gap/ClosedMonoidalCategories.gd +++ b/MonoidalCategories/gap/ClosedMonoidalCategories.gd @@ -6,8 +6,6 @@ ## #################################### -DeclareGlobalVariable( "CAP_INTERNAL_CLOSED_MONOIDAL_CATEGORIES_BASIC_OPERATIONS" ); - DeclareGlobalVariable( "CLOSED_MONOIDAL_CATEGORIES_METHOD_NAME_RECORD" ); CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsClosedMonoidalCategory := Concatenation( [