diff --git a/third_party/tools/synlig b/third_party/tools/synlig
index f5cd191cd0524..7ddc33dafe471 160000
--- a/third_party/tools/synlig
+++ b/third_party/tools/synlig
@@ -1 +1 @@
-Subproject commit f5cd191cd052493101441e912cb5ec2aab2b89ef
+Subproject commit 7ddc33dafe471be58013e8bd3d86cef9f8192ffb