remove obsolete CAP_INTERNAL_CLOSED_MONOIDAL_CATEGORIES_BASIC_OPERATIONS

homalg-project · Nov 6, 2021 · 7f0bc15 · 7f0bc15
1 parent ba96994
commit 7f0bc15
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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( [