From e9f75cd2200d15fad9c02b0a72f34344285b094a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Mon, 27 Jun 2022 16:45:59 +0200
Subject: [PATCH] fix error in category declaration

---
 src/math/categories/categories.pysty3 | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/math/categories/categories.pysty3 b/src/math/categories/categories.pysty3
index ccf6f1b..13a205f 100644
--- a/src/math/categories/categories.pysty3
+++ b/src/math/categories/categories.pysty3
@@ -154,9 +154,11 @@ __HEADER__(Definitions of categories with automatic indexing)%% Wrapper commands
     \translate{CGHaus~(Category~description)}
   ]
 \DeclareSimpleCategory
+  [
+    formula = S
+  ]
   { SimplicialSet }
   [
-    formula = S,
     \translate{SimplicialSet~(Category~description)}
   ]
 \DeclareCategory