diff --git a/cozette-sml b/cozette-sml
index f39f146..25eee9f 160000
--- a/cozette-sml
+++ b/cozette-sml
@@ -1 +1 @@
-Subproject commit f39f1466a42caae953d94ac84ad9d6264c4bf85c
+Subproject commit 25eee9f3e6678d5e4698e686dbec60c300ce0a2c