diff --git a/third_party/icestorm b/third_party/icestorm
index 10ed4136f7..d20a5e9001 160000
--- a/third_party/icestorm
+++ b/third_party/icestorm
@@ -1 +1 @@
-Subproject commit 10ed4136f74beb458c6d014fcc6b53b5d02dd6c5
+Subproject commit d20a5e9001f46262bf0cef220f1a6943946e421d