unbreak lots more stuff

[coq-hetmet.git] / src / categories

diff --git a/src/categories b/src/categories
index 1104780..0ecd73c 160000 (submodule)
--- a/src/categories
+++ b/src/categories
@@ -1 +1 @@
-Subproject commit 1104780d775bf36ff9f44ab287c22604ab47f0b5
+Subproject commit 0ecd73c172f67634fa956fb52b332e6effb5a04d