diff --git a/External/Harmony b/External/Harmony
index 2d720b1..914ee71 160000
--- a/External/Harmony
+++ b/External/Harmony
@@ -1 +1 @@
-Subproject commit 2d720b1c9973c89d09423bc10d52ea98c314dd14
+Subproject commit 914ee71a78bfc1df7d42019d6a4a262808fd0d21