diff --git a/third_party/tools/synlig b/third_party/tools/synlig
index 4885d4d39f908..7f99048795770 160000
--- a/third_party/tools/synlig
+++ b/third_party/tools/synlig
@@ -1 +1 @@
-Subproject commit 4885d4d39f90819a751d3cfe33c3f5a463a168de
+Subproject commit 7f9904879577086eb6e176c0cc13213efecc9f3f