X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2Fcategories;fp=src%2Fcategories;h=f4d377789a2265a19ff3d1dd65e87f570aef49c3;hp=d490aac37c55dcdaaf3fca152846f13acbb447c6;hb=0aa54e44e3ecbc2ad27ce793ea66ce6aad132776;hpb=85e4f0fd6b0673c1cc763eeb2585b7dc3d388455

diff --git a/src/categories b/src/categories
index d490aac..f4d3777 160000
--- a/src/categories
+++ b/src/categories
@@ -1 +1 @@
-Subproject commit d490aac37c55dcdaaf3fca152846f13acbb447c6
+Subproject commit f4d377789a2265a19ff3d1dd65e87f570aef49c3