X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2Fcategories;h=0ecd73c172f67634fa956fb52b332e6effb5a04d;hp=1104780d775bf36ff9f44ab287c22604ab47f0b5;hb=e539b49ae3148ab1967b5ea0709734171180b86d;hpb=4e5aa4bcc6024aa7add9c1bf1c2ad9fd2a6a3685

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