diff --git a/repos/ocaml b/repos/ocaml
index 712d9bfa1..0b12614de 160000
--- a/repos/ocaml
+++ b/repos/ocaml
@@ -1 +1 @@
-Subproject commit 712d9bfa1d537c5899dde5538767ed2d8bb37a93
+Subproject commit 0b12614ded3ec7ed7ab7933a9ba4f695ba4c342e