diff --git a/ocaml-version b/ocaml-version
index b80aad54..03c8f1de 160000
--- a/ocaml-version
+++ b/ocaml-version
@@ -1 +1 @@
-Subproject commit b80aad5425c7dd6f1e6f8925f5719c72f8b8f7fa
+Subproject commit 03c8f1dea897c5913c24988cd805ff7206db7c81