remove all admits from ProgrammingLanguage.v

[coq-hetmet.git] / src / categories

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