diff --git a/stmlib b/stmlib
index cf83b96..e14f6eb 160000
--- a/stmlib
+++ b/stmlib
@@ -1 +1 @@
-Subproject commit cf83b960d14972f9de52e4d998401b60809baf7a
+Subproject commit e14f6eb13096d6ed648d140e730c541ba4fd702d