diff --git a/third_party/tools/icarus b/third_party/tools/icarus
index 9a0ce046c758d..7c25e8506c5b9 160000
--- a/third_party/tools/icarus
+++ b/third_party/tools/icarus
@@ -1 +1 @@
-Subproject commit 9a0ce046c758d572bf40a1f68e6559d25b79d5e7
+Subproject commit 7c25e8506c5b9d91019760507a11cf5b18836018