diff --git a/third_party/tools/synlig b/third_party/tools/synlig
index f5cd191cd052..10efd31491fc 160000
--- a/third_party/tools/synlig
+++ b/third_party/tools/synlig
@@ -1 +1 @@
-Subproject commit f5cd191cd052493101441e912cb5ec2aab2b89ef
+Subproject commit 10efd31491fc5e1582091125cbeac15045ca586b