update to new coq-categories, base ND_Relation on inert sequences

[coq-hetmet.git] / src / categories

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