diff --git a/stmlib b/stmlib
index 447064a..93e97d1 160000
--- a/stmlib
+++ b/stmlib
@@ -1 +1 @@
-Subproject commit 447064aa33713488a2e8c84408c50b2bc55403f7
+Subproject commit 93e97d160dc0d3613bf39c3a7a908e719ed24797