diff --git a/stmlib b/stmlib
index 652beb6..035540a 160000
--- a/stmlib
+++ b/stmlib
@@ -1 +1 @@
-Subproject commit 652beb65295a3b18273cac55f1a008ae7db9a52b
+Subproject commit 035540af5f0877c3246d28bd952bf2316e65788b