diff --git a/jasmin b/jasmin
index e5b0796a..88a932b2 160000
--- a/jasmin
+++ b/jasmin
@@ -1 +1 @@
-Subproject commit e5b0796a8fa2e19b9b1ecba413d65c11c5dd07ed
+Subproject commit 88a932b2bf478345597f75be31ae25e5acefafae