diff --git a/stmlib b/stmlib
index 9321e40..4eaa3aa 160000
--- a/stmlib
+++ b/stmlib
@@ -1 +1 @@
-Subproject commit 9321e40fb5b315a464aab086192917c410f683ec
+Subproject commit 4eaa3aa0b1cf5aa4127ac0dc212b68e8abda4a77