diff --git a/stmlib b/stmlib
index 127219d..cf83b96 160000
--- a/stmlib
+++ b/stmlib
@@ -1 +1 @@
-Subproject commit 127219d9f633055ed528ee1affc41cc419a895e9
+Subproject commit cf83b960d14972f9de52e4d998401b60809baf7a