finally fixed call of WriteFileForCoclosedMonoidalStructure

mohamed-barakat · mohamed-barakat · commit 2b7c38d19eed · 2026-07-28T15:21:54.000+02:00
diff --git a/CartesianCategories/gap/Tools.gi b/CartesianCategories/gap/Tools.gi
@@ -782,8 +782,8 @@ WriteFileForCoclosedMonoidalStructure(
                                  "CARTESIAN_CLOSED_CATEGORIES" ],
                                [ "CoclosedMonoidalCategories.autogen.gd",
                                  "CocartesianCoclosedCategories.autogen.gd" ],
-                               [ "\"ClosedMonoidalCategories.autogen.gd\", \"Monoidal Categories\"",
-                                 "\"CartesianClosedCategories.autogen.gd\", \"Cartesian Categories\"" ],
+                               [ "\"ClosedMonoidalCategoriesMethodRecord\", \"Monoidal Categories\"",
+                                 "\"CartesianClosedCategoriesMethodRecord\", \"Cartesian Categories\"" ],
                                ##############################
                                ## Safe replacements for Tests
                                ##############################
