From 61f53785f1bf601bd78c8a4e43deea5f7ccbe7d2 Mon Sep 17 00:00:00 2001
From: jcs090218 <8685505+jcs090218@users.noreply.github.com>
Date: Sun, 28 Sep 2025 02:06:59 +0000
Subject: [PATCH] chore: Bump ocaml-interface grammar

---
 repos/ocaml-interface | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ocaml-interface b/repos/ocaml-interface
index 712d9bfa..3ef7c00b 160000
--- a/repos/ocaml-interface
+++ b/repos/ocaml-interface
@@ -1 +1 @@
-Subproject commit 712d9bfa1d537c5899dde5538767ed2d8bb37a93
+Subproject commit 3ef7c00b29e41e3a0c1d18e82ea37c64d72b93fc