update submodule pointer, account for changes upstream

[coq-hetmet.git] / src / categories

diff --git a/src/categories b/src/categories
index a0b31d2..2160781 160000 (submodule)
--- a/src/categories
+++ b/src/categories
@@ -1 +1 @@
-Subproject commit a0b31d2cc2b6cf7184efe4ff01ad682749f779ad
+Subproject commit 21607813788d83fb58ce128df442a4ee3edfbdaf