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