diff --git a/stmlib b/stmlib
index f3fdd66..5ba34b6 160000
--- a/stmlib
+++ b/stmlib
@@ -1 +1 @@
-Subproject commit f3fdd66a6c88812d653a07d307913a53ade81c79
+Subproject commit 5ba34b6c8965f91b4a0f3f60640ec3d429e420b9