diff --git a/stmlib b/stmlib
index 51c9596..cb45ab9 160000
--- a/stmlib
+++ b/stmlib
@@ -1 +1 @@
-Subproject commit 51c959664d64fcd6ef583e29ea68cddc6a8f88b5
+Subproject commit cb45ab9eca989481e9141f560052993f4d640ad0