diff --git a/repos/ocaml-interface b/repos/ocaml-interface
index 712d9bfa1..5f7a97e97 160000
--- a/repos/ocaml-interface
+++ b/repos/ocaml-interface
@@ -1 +1 @@
-Subproject commit 712d9bfa1d537c5899dde5538767ed2d8bb37a93
+Subproject commit 5f7a97e9757d8afe6c0b0b5dd8734cf59f35456e