X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2Fcategories;fp=src%2Fcategories;h=77fb38900253b1bc9c4552d474f8564fda398d09;hp=f4d377789a2265a19ff3d1dd65e87f570aef49c3;hb=68f1cdc7daa1e2d9ba9ff343ccf7ec51082a2255;hpb=743099bc348cfa97fb4d94c7e7ae3e53d2717e87

diff --git a/src/categories b/src/categories
index f4d3777..77fb389 160000
--- a/src/categories
+++ b/src/categories
@@ -1 +1 @@
-Subproject commit f4d377789a2265a19ff3d1dd65e87f570aef49c3
+Subproject commit 77fb38900253b1bc9c4552d474f8564fda398d09