diff --git a/lib/cozette-sml b/lib/cozette-sml
index c88b8c0..5ee4d06 160000
--- a/lib/cozette-sml
+++ b/lib/cozette-sml
@@ -1 +1 @@
-Subproject commit c88b8c0332cf52b2127e1db14964caab8cbd47f1
+Subproject commit 5ee4d063750e4b57ef9abf2d8ca19a3811ad73a1