diff --git a/auxil/spicy b/auxil/spicy
index d923cc0bb5..31880e215f 160000
--- a/auxil/spicy
+++ b/auxil/spicy
@@ -1 +1 @@
-Subproject commit d923cc0bb5da8481a13fa6741c007f43c8fd08d5
+Subproject commit 31880e215ff6f85ad95507d7a760e81ae2e0999d