diff --git a/lib/cozette-sml b/lib/cozette-sml
index 2d43c69..d5231eb 160000
--- a/lib/cozette-sml
+++ b/lib/cozette-sml
@@ -1 +1 @@
-Subproject commit 2d43c6917837cdb09f62461486b68bd432b188a1
+Subproject commit d5231ebe36b6b8b1ad9e433a0cf232e439c67f81