diff --git a/third_party/tools/icarus b/third_party/tools/icarus index ce7b26e3f993..6c8ed62a5ab5 160000 --- a/third_party/tools/icarus +++ b/third_party/tools/icarus @@ -1 +1 @@ -Subproject commit ce7b26e3f99339845953c7ba47069b28b5feb363 +Subproject commit 6c8ed62a5ab5c18940d1db7210732fe6f77582f6