diff --git a/third_party/yosys b/third_party/yosys
index cee3cb31..4251d37f 160000
--- a/third_party/yosys
+++ b/third_party/yosys
@@ -1 +1 @@
-Subproject commit cee3cb31b98e3b67af3165969c8cfc0616c37e19
+Subproject commit 4251d37f4fc66108ead53af677739563de4ee7f8