chore: Bump ocaml-interface grammar

jcs090218 · github-actions[bot] · commit 69c8d6bc4b9c · 2025-10-05T02:06:26.000Z
diff --git a/repos/ocaml-interface b/repos/ocaml-interface
@@ -1 +1 @@
-Subproject commit 712d9bfa1d537c5899dde5538767ed2d8bb37a93
+Subproject commit 3ef7c00b29e41e3a0c1d18e82ea37c64d72b93fc
