diff --git a/third_party/tools/synlig b/third_party/tools/synlig
index f5cd191cd0524..84ab47c0f5b18 160000
--- a/third_party/tools/synlig
+++ b/third_party/tools/synlig
@@ -1 +1 @@
-Subproject commit f5cd191cd052493101441e912cb5ec2aab2b89ef
+Subproject commit 84ab47c0f5b18152a652ad1eceadd7cbf906e375