X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2Fcategories;fp=src%2Fcategories;h=422dab8d300548c294b95c0f4bbf27aecadbd745;hp=0ecd73c172f67634fa956fb52b332e6effb5a04d;hb=bef99d21b3f5697d6fb1871493290c8dcf9dea93;hpb=de0467013b4c29f630066c9052c56afa89ebc75b

diff --git a/src/categories b/src/categories
index 0ecd73c..422dab8 160000
--- a/src/categories
+++ b/src/categories
@@ -1 +1 @@
-Subproject commit 0ecd73c172f67634fa956fb52b332e6effb5a04d
+Subproject commit 422dab8d300548c294b95c0f4bbf27aecadbd745