diff --git a/third_party/yosys b/third_party/yosys
deleted file mode 160000
index 6f3376cbe..000000000
--- a/third_party/yosys
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 6f3376cbe6dbd1e1513facc28930e837798c94e3
diff --git a/third_party/yosys b/third_party/yosys
new file mode 100644
index 000000000..1ff0e3885
--- /dev/null
+++ b/third_party/yosys
@@ -0,0 +1 @@
+9106d6b3bdfb89881e1a474b035c47de1d699788
\ No newline at end of file