diff --git a/External/Harmony b/External/Harmony
index 935be63..2571e6b 160000
--- a/External/Harmony
+++ b/External/Harmony
@@ -1 +1 @@
-Subproject commit 935be63ed805013b8e16191036720b5e32be55e7
+Subproject commit 2571e6b702b08c386dcdbb939363ff9a8e340cfa