diff --git a/repos/GRHayLET b/repos/GRHayLET
index f6d58297a38..4b708ca13fa 160000
--- a/repos/GRHayLET
+++ b/repos/GRHayLET
@@ -1 +1 @@
-Subproject commit f6d58297a38f260d73786fc525564b7c4b0424bd
+Subproject commit 4b708ca13fa6db538ba77ac3d76fcdf109a97a77