diff --git a/stmlib b/stmlib
index 3394699..9321e40 160000
--- a/stmlib
+++ b/stmlib
@@ -1 +1 @@
-Subproject commit 3394699e1046c5eef6269db87e965c788a9ebe25
+Subproject commit 9321e40fb5b315a464aab086192917c410f683ec