update to account for coq-categories changes

[coq-hetmet.git] / src / categories

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