diff --git a/stmlib b/stmlib
index 0c9129a..447064a 160000
--- a/stmlib
+++ b/stmlib
@@ -1 +1 @@
-Subproject commit 0c9129ad08236a1987b0d81d1019b947a247a9ff
+Subproject commit 447064aa33713488a2e8c84408c50b2bc55403f7