diff --git a/spike b/spike index a0298a33e7b..71f5a8fd1b1 160000 --- a/spike +++ b/spike @@ -1 +1 @@ -Subproject commit a0298a33e7b2091ba8d9f3a20838d96dc1164cac +Subproject commit 71f5a8fd1b1185b7c15151f116aa3fef058bf210