diff --git a/stmlib b/stmlib
index 66684b7..027f064 160000
--- a/stmlib
+++ b/stmlib
@@ -1 +1 @@
-Subproject commit 66684b7f071f6cdd141a24f71a39a3fff41bafa0
+Subproject commit 027f064b70c6fd3d137ea530c446609a1da5a564