lots of cleanup

[coq-hetmet.git] / src / categories

diff --git a/src/categories b/src/categories
index 18d9414..a0b31d2 160000 (submodule)
--- a/src/categories
+++ b/src/categories
@@ -1 +1 @@
-Subproject commit 18d94149267db9cf2e8e93977c5506278309173d
+Subproject commit a0b31d2cc2b6cf7184efe4ff01ad682749f779ad