diff --git a/.gitmodules b/.gitmodules
index 317aa20..2926701 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -7804,3 +7804,6 @@
 [submodule "mcelog"]
 	path = mcelog
 	url = ../../pool/mcelog
+[submodule "ocaml-menhir"]
+	path = ocaml-menhir
+	url = ../../pool/ocaml-menhir
diff --git a/ocaml-menhir b/ocaml-menhir
new file mode 160000
index 0000000..4738948
--- /dev/null
+++ b/ocaml-menhir
@@ -0,0 +1 @@
+Subproject commit 473894842211844fe9e9fd49acd206674c15cc1b