diff --git a/3rd_party/spike b/3rd_party/spike
index cf5df48..4c8e10f 160000
--- a/3rd_party/spike
+++ b/3rd_party/spike
@@ -1 +1 @@
-Subproject commit cf5df48bb4bd7adec488f75d55cfee4bf6d925fc
+Subproject commit 4c8e10fb751b7b9e7e1792e413e61ca378990c6d