diff --git a/External/Harmony b/External/Harmony
index b72a3fd..893ab13 160000
--- a/External/Harmony
+++ b/External/Harmony
@@ -1 +1 @@
-Subproject commit b72a3fdd4e2a3fe1d34b4b9ca75cbe352570a9f2
+Subproject commit 893ab13c6c8a90c3a4d149329a0f5ffb6c534ab6