diff --git a/third_party/icestorm b/third_party/icestorm
index d20a5e9..1a40ae7 160000
--- a/third_party/icestorm
+++ b/third_party/icestorm
@@ -1 +1 @@
-Subproject commit d20a5e9001f46262bf0cef220f1a6943946e421d
+Subproject commit 1a40ae75d4eebee9cce73a2c4d634fd42ed0110f